diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 19:28:28 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 19:28:28 +0000 |
| commit | 7c49f8124b3602228437a60df609ad35e3d9c907 (patch) | |
| tree | ba3e0334a7493a1b4b08a2ef1cda79b80fc63ed1 /etc | |
| parent | 93afde486145989a11769246cb208e6209e34f45 (diff) | |
Tweak.
Diffstat (limited to 'etc')
| -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 7801e25f..c2ca8020 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -72,7 +72,7 @@ make install-elc install-init PREFIX=${RPM_BUILD_ROOT}/usr EMACS=xemacs DEST_PR make install-desktop install-el install-bin PREFIX=${RPM_BUILD_ROOT}/usr ELISPP=share/ProofGeneral DEST_PREFIX=/usr # Install docs too -make install-doc PREFIX=${RPM_BUILD_ROOT}/usr DEST_PREFIX=/usr DOCDIR=%{_docdir} +make install-doc PREFIX=${RPM_BUILD_ROOT}/usr DEST_PREFIX=/usr DOCDIR=${RPM_BUILD_ROOT}%{_docdir} rm -f ${RPM_BUILD_ROOT}/usr/share/info/dir gzip ${RPM_BUILD_ROOT}/usr/share/info/* |