[coq/f21] Install the coq application icon in a standard location
Richard Hughes
rhughes at fedoraproject.org
Wed Jul 16 10:59:54 UTC 2014
commit 1033f9342edccda912541b80af919c6dbe702c28
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
More information about the scm-commits
mailing list