diff options
| author | narboux | 2005-11-10 10:03:37 +0000 |
|---|---|---|
| committer | narboux | 2005-11-10 10:03:37 +0000 |
| commit | 425e9e12217fdb6d12683db39c8c3442ffa4d203 (patch) | |
| tree | c6ce78fcaeb01860007e70cc19d795759d14fb08 | |
| parent | 3f39a57cae1d0317bb8d594b04c2ce64e582760f (diff) | |
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
| -rw-r--r-- | distrib/RH/coqide.spec | 14 |
1 files changed, 14 insertions, 0 deletions
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 |