From 249d11773d32add20d665c4f8521b7380e4fec0a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 08:56:55 +0000 Subject: [PATCH] menu fised --- pkg-matita/trunk/debian/matita.menu | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkg-matita/trunk/debian/matita.menu b/pkg-matita/trunk/debian/matita.menu index 97541931e..162bf8e7b 100644 --- a/pkg-matita/trunk/debian/matita.menu +++ b/pkg-matita/trunk/debian/matita.menu @@ -1,4 +1,5 @@ -?package(matita):needs="X11" section="Applications/Mathematics"\ +?package(matita):needs="X11" \ + section="Applications/Science/Mathematics" \ title="Matita" \ longtitle="Matita interactive theorem prover" \ command="/usr/bin/matita" \ -- 2.39.2