From 1875d0c5589dd312dea2e04c1237e5285f8d4cde Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 22 Sep 2006 16:11:12 +0000
Subject: Packaging fixes: put isar/interface in right place; install examples
 and doc files from Makefile.

---
 etc/ProofGeneral.spec | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

(limited to 'etc')

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
-- 
cgit v1.2.3