diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 19:05:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 19:05:48 +0000 |
| commit | 744aa15fb9d9f6c22e3344edf9d04bdb5dd9c167 (patch) | |
| tree | 4381e3ff6de47416a507256353c4b7d2aa462035 | |
| parent | e2525601783f88690317d3768fd69cec41fc2f76 (diff) | |
Included the rest of the info files in the package.
| -rw-r--r-- | etc/ProofGeneral.spec | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 21e424ca..0f513415 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -46,8 +46,8 @@ mv lego/legotags coq/coqtags ${RPM_BUILD_ROOT}/usr/bin # Put info file in proper place. mkdir -p ${RPM_BUILD_ROOT}/usr/info -mv doc/ProofGeneral.info ${RPM_BUILD_ROOT}/usr/info -gzip ${RPM_BUILD_ROOT}/usr/info/ProofGeneral.info +mv doc/ProofGeneral.info doc/ProofGeneral.info-* ${RPM_BUILD_ROOT}/usr/info +gzip ${RPM_BUILD_ROOT}/usr/info/ProofGeneral.info ${RPM_BUILD_ROOT}/usr/info/ProofGeneral.info-* # Remove duff bits rm -f doc/dir doc/localdir doc/ProofGeneral.texi @@ -68,6 +68,7 @@ fi %files %attr(-,root,root) %doc BUGS INSTALL doc/* %attr(-,root,root) /usr/info/ProofGeneral.info.gz +%attr(-,root,root) /usr/info/ProofGeneral.info-*.gz %attr(-,root,root) /usr/bin/coqtags %attr(-,root,root) /usr/bin/legotags %attr(0755,root,root) %dir /usr/share/emacs/ProofGeneral |