From 24f767b62682111bb78569609396c715792d7760 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 15 Nov 2007 11:07:14 +0000
Subject: [PATCH] ...

---
 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 2e4785bc9..dcf28d7b6 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/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.5