diff options
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | etc/ProofGeneral.spec | 10 |
2 files changed, 7 insertions, 7 deletions
@@ -196,8 +196,8 @@ install-doc: doc.info cp -pf doc/proofgeneral.1 ${MANDIR} mkdir -p ${INFODIR} cp -pf doc/*.info ${INFODIR} - /sbin/install-info /usr/share/info/ProofGeneral.info.* ${INFODIR}/dir - /sbin/install-info /usr/share/info/PG-adapting.info.* ${INFODIR}/dir + /sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir + /sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir doc.%: (cd doc; make $*) diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 39f324c7..14312fc4 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -85,12 +85,12 @@ if [ "X" != "${RPM_BUILD_ROOT}X" ]; then fi %post -/sbin/install-info /usr/share/info/ProofGeneral.info.* /usr/share/info/dir -/sbin/install-info /usr/share/info/PG-adapting.info.* /usr/share/info/dir +/sbin/install-info /usr/share/info/ProofGeneral.info* /usr/share/info/dir +/sbin/install-info /usr/share/info/PG-adapting.info* /usr/share/info/dir %preun -/sbin/install-info --delete /usr/share/info/ProofGeneral.info.* /usr/share/info/dir -/sbin/install-info --delete /usr/share/info/PG-adapting.info.* /usr/share/info/dir +/sbin/install-info --delete /usr/share/info/ProofGeneral.info* /usr/share/info/dir +/sbin/install-info --delete /usr/share/info/PG-adapting.info* /usr/share/info/dir %files %defattr(-,root,root) @@ -103,7 +103,7 @@ fi %{_datadir}/icons/hicolor/*/proofgeneral.png %{_datadir}/ProofGeneral/* %{_datadir}/man/man1/* -%{_datadir}/info/*.info.gz +%{_datadir}/info/*.info* %{_datadir}/mime-info/proofgeneral.* %{_datadir}/applications/proofgeneral.desktop %{_datadir}/application-registry/proofgeneral.applications |