From af7ecc71c93a6c30f822e9d23175be7bb24f3f63 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 08:56:55 +0000 Subject: [PATCH] menu fised --- helm/software/pkg-matita/trunk/debian/matita.menu | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/pkg-matita/trunk/debian/matita.menu b/helm/software/pkg-matita/trunk/debian/matita.menu index 97541931e..162bf8e7b 100644 --- a/helm/software/pkg-matita/trunk/debian/matita.menu +++ b/helm/software/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