From 425e9e12217fdb6d12683db39c8c3442ffa4d203 Mon Sep 17 00:00:00 2001
From: narboux
Date: Thu, 10 Nov 2005 10:03:37 +0000
Subject: ajout de l'entree dans le menu

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7551 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RH/coqide.spec | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec
index c1c5cecab0..3fd25c4231 100644
--- a/distrib/RH/coqide.spec
+++ b/distrib/RH/coqide.spec
@@ -34,9 +34,23 @@ make clean
 rm -rf %{buildroot}
 make -e COQINSTALLPREFIX=%{buildroot} install-coqide
 
+# menu entry
+mkdir -p %{buildroot}%{_menudir}
+cat > %{buildroot}%{_menudir}/CoqIDE << _EOF_
+?package(CoqIDE): \
+ command="%{_bindir}/coqide" \
+# icon="coqide.png" \ TODO add an icon
+ longtitle="The Coq Integrated Development Interface" \
+ needs="x11" \
+ section="Applications/Sciences/Mathematics" \
+ title="CoqIDE" \
+ startup_notify="yes"
+_EOF_
+
 %define __spec_install_post /usr/lib/rpm/brp-compress
 
 %files
 %defattr(-,root,root)
+%{_menudir}/CoqIDE
 %{_bindir}/*
 %{_libdir}/coq/ide
-- 
cgit v1.2.3