From 12611ad9f6f24d741d0fce593380447c02209d70 Mon Sep 17 00:00:00 2001
From: Rex Dieter <rdieter@math.unl.edu>
Date: Oct 02 2014 18:28:11 +0000
Subject: fix/update mime scriptlet


---

diff --git a/coq.spec b/coq.spec
index 2cba62a..b1a4a4a 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
 
 Name:           coq
 Version:        8.4pl4
-Release:        18%{?dist}
+Release:        19%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -251,12 +251,10 @@ mv ../*.el .
 
 %post
 mktexlsr &> /dev/null || :
-update-mime-database %{_datadir}/mime &> /dev/null || :
 update-desktop-database -q &> /dev/null || :
 
 %postun
 update-desktop-database -q &> /dev/null
-update-mime-database %{_datadir}/mime &> /dev/null || :
 mktexlsr &> /dev/null
 
 # Note: we want to keep both coqtop.opt and coqtop.byte because the
@@ -290,6 +288,17 @@ mktexlsr &> /dev/null
 %{coqdocdir}/CREDITS
 %{coqdocdir}/README
 
+%post coqide
+touch --no-create %{_datadir}/mime/packages &> /dev/null || :
+
+%postun coqide
+if [ $1 -eq 0 ]; then
+update-mime-database %{_datadir}/mime &> /dev/null || :
+fi
+
+%posttrans coqide
+update-mime-database %{?fedora:-n} %{_datadir}/mime &> /dev/null || :
+
 %files coqide
 %doc INSTALL.ide
 %{_bindir}/coqide*
@@ -319,6 +328,9 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Thu Oct 02 2014 Rex Dieter <rdieter@fedoraproject.org> 8.4pl4-19
+- fix/update mime scriptlet
+
 * Wed Sep 17 2014 Jerry James <loganjerry@gmail.com> - 8.4pl4-18
 - Rebuild due to ocaml update
 - Fix license handling