diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:36:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 12:36:11 +0000 |
| commit | 01b0a68166decdb7b85c8b302f902e471a1f8178 (patch) | |
| tree | 39695e7d3c8e57d77f897eb531cb764c1161e18e /etc/ProofGeneral.spec | |
| parent | 0955c72541176ffec0d15565e497740894c4391e (diff) | |
Add ProofGeneral.texi and CHANGES to RPM.
Diffstat (limited to 'etc/ProofGeneral.spec')
| -rw-r--r-- | etc/ProofGeneral.spec | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index d5cbff29..2f1fd78b 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -52,7 +52,7 @@ mkdir -p ${RPM_BUILD_ROOT}/usr/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 +rm -f doc/dir doc/localdir cp -pr coq lego isa isar images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral @@ -69,7 +69,7 @@ fi /sbin/install-info --delete /usr/info/ProofGeneral.info.gz /usr/info/dir %files -%attr(-,root,root) %doc BUGS INSTALL doc/* +%attr(-,root,root) %doc BUGS INSTALL CHANGES doc/* %attr(-,root,root) /usr/info/ProofGeneral.info.gz %attr(-,root,root) /usr/info/ProofGeneral.info-*.gz %attr(-,root,root) /usr/bin/coqtags |