From f43e5b3030baf55c2f91bbfcca188dd3504b8871 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 15 Nov 2007 11:07:14 +0000 Subject: [PATCH] ... --- 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 2e4785bc9..dcf28d7b6 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/Science"\ title="Matita" \ longtitle="Matita interactive theorem prover" \ - command="/usr/bin/matita" + command="/usr/bin/matita" \ + icon="/usr/share/matita/icons/matita-32.xpm" -- 2.39.2