diff options
| author | David Aspinall | 2000-12-01 16:12:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-01 16:12:45 +0000 |
| commit | 97c12e7392ae2472f7bcee3eb42432c6ffc4bd82 (patch) | |
| tree | 1d6b99004baad3a3ea3b7ad9e6763f1ff60a269c | |
| parent | d9d87408a014f90b2e63e7b5e5b1ef83bdbead8d (diff) | |
Change info globs to work with mandrake
| -rw-r--r-- | etc/ProofGeneral.spec | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 0f60e873..ce30f0fb 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -82,10 +82,10 @@ fi %files %attr(-,root,root) %doc AUTHORS BUGS CHANGES COPYING INSTALL README README.devel doc/* -%attr(-,root,root) /usr/info/ProofGeneral.info.gz -%attr(-,root,root) /usr/info/ProofGeneral.info-*.gz -%attr(-,root,root) /usr/info/PG-adapting.info.gz -%attr(-,root,root) /usr/info/PG-adapting.info-*.gz +%attr(-,root,root) /usr/info/ProofGeneral.info.* +%attr(-,root,root) /usr/info/ProofGeneral.info-*.* +%attr(-,root,root) /usr/info/PG-adapting.info.* +%attr(-,root,root) /usr/info/PG-adapting.info-*.* %attr(-,root,root) /usr/bin/proofgeneral %attr(-,root,root) /usr/bin/coqtags %attr(-,root,root) /usr/bin/legotags |