From 6632eea68b04f70df08cdbb1742d7bf61b5af552 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 15 Jul 2005 12:31:45 +0000 Subject: Tweak headers for FC4 build --- etc/ProofGeneral.spec | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 20516d30..f3271e2a 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -2,8 +2,8 @@ Summary: Proof General, Emacs interface for Proof Assistants Name: ProofGeneral Version: 3.6pre050602 Release: 1 -Group: Applications/Editors/Emacs -Copyright: LFCS, University of Edinburgh +Group: Text Editors/Integrated Development Environments (IDE) +License: GPL Url: http://proofgeneral.inf.ed.ac.uk/ Packager: David Aspinall Source: http://proofgeneral.inf.ed.ac.uk/ProofGeneral-3.6pre050602.tar.gz @@ -88,11 +88,20 @@ 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 +if [ -x /usr/bin/gtk-update-icon-cache ]; then + gtk-update-icon-cache -q /usr/share/icons/hicolor +fi %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 +%postun +if [ -x /usr/bin/gtk-update-icon-cache ]; then + gtk-update-icon-cache -q /usr/share/icons/hicolor +fi + + %files %defattr(-,root,root) # FIXME: warning: source file `doc/README.doc' specified more than once -- cgit v1.2.3