aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-03-02 22:55:24 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-03-02 22:55:24 +0000
commitd0ef012305eb65b83f125d3316373a0698e18293 (patch)
treee6fe98f37fe7682d02927954001dd9ea8ebbd0c6 /etc
parentf08f8b6bb2dc70c0737058097846eb6e46f36301 (diff)
Fix info install
Diffstat (limited to 'etc')
-rw-r--r--etc/ProofGeneral.spec10
1 files changed, 5 insertions, 5 deletions
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