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

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index 9cde82b75..b3ebebd90 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -206,8 +206,11 @@ 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#contentsMenuItem (fun () ->
+        let cmd =
+          sprintf "gnome-help ghelp://%s/C/matita.xml &" BuildTimeConf.help_dir
+        in
+        ignore (Sys.command cmd));
       connect_menu_item main#aboutMenuItem about_dialog#present;
         (* findRepl win *)
       let show_find_Repl () =