* Remove timing for -O0, people really shouldn't use it.

[ginac.git] / debian / ginac-tools.menu

diff --git a/debian/ginac-tools.menu b/debian/ginac-tools.menu
index fcf75adebedfde1c720084319c257bebd1ff361d..cc965e87b64cf64d6fb1cd227c1a00da173fc84e 100644 (file)
--- a/debian/ginac-tools.menu
+++ b/debian/ginac-tools.menu
@@ -1 +1,6 @@
-?package(ginac-tools):needs=text section=Apps/Math title="GiNaC interactive shell" command="/usr/bin/ginsh"
+?package(ginac-tools):\
+  needs="text"\
+  section="Apps/Math"\
+  title="Ginsh"\
+  longtitle="Ginsh - GiNaC interactive shell"\
+  command="/usr/bin/ginsh"