[coq] Install the coq application icon in a standard location

[Richard Hughes]

commit ee3c0b1919f02ae5f50a0ff71e1c47239330934f
Author: Richard Hughes <richard at hughsie.com>
Date:   Wed Jul 16 11:21:52 2014 +0100

    Install the coq application icon in a standard location

 coq.spec |   12 +++++++++---
 1 files changed, 9 insertions(+), 3 deletions(-)
---
diff --git a/coq.spec b/coq.spec
index 8b752e0..224cd45 100644
--- a/coq.spec
+++ b/coq.spec
@@ -18,7 +18,7 @@
 
 Name:           coq
 Version:        8.4pl4
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        Proof management system
 
 License:        LGPLv2
@@ -187,8 +187,9 @@ make COQINSTALLPREFIX="%{buildroot}%{_prefix}" OLDROOT="%{_prefix}" \
 mkdir -p %{buildroot}%{coqdatadir}
 %endif
 
-sed -i -e 's|ICON-LOCATION-BASE|%{_datadir}/coq/coq.png|' coqide.desktop
-
+mkdir -p %{buildroot}%{_datadir}/pixmaps
+install -pm 644 %{buildroot}%{_datadir}/coq/coq.png %{buildroot}%{_datadir}/pixmaps/coq.png
+sed -i -e 's|ICON-LOCATION-BASE|%{_datadir}/pixmaps/coq.png|' coqide.desktop
 desktop-file-install --dir=%{buildroot}%{_datadir}/applications coqide.desktop
 
 # Install AppData file
@@ -274,6 +275,7 @@ mktexlsr &> /dev/null
 %files coqide
 %doc INSTALL.ide
 %{_bindir}/coqide*
+%{_datadir}/pixmaps/coq.png
 %{_sysconfdir}/xdg/%{name}/
 %{coqdatadir}/ide
 %exclude %{coqdatadir}/ide/ide.cmxa
@@ -300,6 +302,10 @@ mktexlsr &> /dev/null
 %{_emacs_sitelispdir}/coq/*.el
 
 %changelog
+* Wed Jul 16 2014 Richard Hughes <richard at hughsie.com> - 8.4pl4-3
+- Install the coq application icon in a standard location to fix display in
+  gnome-software and Apper.
+
 * Sat Jun 07 2014 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 8.4pl4-2
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild