diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 16:11:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-09-22 16:11:12 +0000 |
commit | 1875d0c5589dd312dea2e04c1237e5285f8d4cde (patch) | |
tree | fb63bc21c6e7b4a9d7a7834b81197930920eecbd /etc | |
parent | 69dc92ed5e6c26fa2b28c4875a3f9bff004c152e (diff) |
Packaging fixes: put isar/interface in right place; install examples and doc files from Makefile.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/ProofGeneral.spec | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 0aeb69dc..4f03e2eb 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 +make install-doc PREFIX=${RPM_BUILD_ROOT}/usr DEST_PREFIX=/usr DOCDIR=%{_docdir} rm -f ${RPM_BUILD_ROOT}/usr/share/info/dir gzip ${RPM_BUILD_ROOT}/usr/share/info/* @@ -106,16 +106,13 @@ fi %files %defattr(-,root,root) -# FIXME: warning: source file `doc/README.doc' specified more than once -%doc AUTHORS BUGS CHANGES COPYING INSTALL README.* REGISTER doc/* */README.* %{_bindir}/* -# no man page yet -# %{_mandir}/man1/* +%doc %{_datadir}/man/man1/* +%doc %{_datadir}/info/*.info* +%doc %{_datadir}/doc/* %{_datadir}/pixmaps/proofgeneral.png %{_datadir}/icons/hicolor/*/proofgeneral.png %{_datadir}/ProofGeneral/* -%{_datadir}/man/man1/* -%{_datadir}/info/*.info* %{_datadir}/mime-info/proofgeneral.* %{_datadir}/applications/proofgeneral.desktop %{_datadir}/application-registry/proofgeneral.applications |