diff options
| author | David Aspinall | 2005-07-15 12:31:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-07-15 12:31:45 +0000 |
| commit | 6632eea68b04f70df08cdbb1742d7bf61b5af552 (patch) | |
| tree | 2b23c89dad10b8b91a58f9a07287a97bd234e2e5 | |
| parent | 644cf0d3ee5038d45908301101095f54448d50f2 (diff) | |
Tweak headers for FC4 build
| -rw-r--r-- | etc/ProofGeneral.spec | 13 |
1 files 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 <David.Aspinall@ed.ac.uk> 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 |