diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 17:53:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-29 17:53:41 +0000 |
commit | e87f0df6872de924855ae8991de88aa040ebe4bb (patch) | |
tree | cc9cc7508eb065837e47b70d0763cbc731ef7bac /etc/ProofGeneral.spec | |
parent | 60cb393e8a91a792344538de841e55a7655441a6 (diff) |
Add REGISTER to doc files.
Diffstat (limited to 'etc/ProofGeneral.spec')
-rw-r--r-- | etc/ProofGeneral.spec | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 9b3563db..3533e778 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -76,7 +76,7 @@ fi /sbin/install-info --delete /usr/info/PG-adapting.info.* /usr/info/dir %files -%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel doc/* +%attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel REGISTER doc/* %attr(-,root,root) /usr/info/ProofGeneral.info.* %attr(-,root,root) /usr/info/ProofGeneral.info-*.* %attr(-,root,root) /usr/info/PG-adapting.info.* |