X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaGui.ml;h=9cde82b7535501fb100d9a3a121621fff0d1b301;hb=ba82338180592787d95e756b7feb30f71ea70a73;hp=34406a3cd147908ef96d76a9804ecafc3064815f;hpb=7906a230a7989fab555d50ae930bb4169cb5d631;p=helm.git

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index 34406a3cd..9cde82b75 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -206,6 +206,8 @@ class gui () =
         ~website:"http://helm.cs.unibo.it"
         ()
       in
+      connect_menu_item main#contentsMenuItem
+       (fun () -> ignore (Sys.command "gnome-help ghelp:///home/claudio/miohelm/matita/help/C/matita.xml &"));
       connect_menu_item main#aboutMenuItem about_dialog#present;
         (* findRepl win *)
       let show_find_Repl () =