help path is no longer hard coded but relative to runtime base dir

diff --git a/helm/software/matita/buildTimeConf.ml.in b/helm/software/matita/buildTimeConf.ml.in
index 8ea2c7b869cf03a70d7b9004fb2f279e3cbb1b3f..0be6f2c8601ff52def012c86eea966ec5fb59115 100644 (file)
--- a/helm/software/matita/buildTimeConf.ml.in
+++ b/helm/software/matita/buildTimeConf.ml.in
@@ -52,4 +52,5 @@ let closed_xml = runtime_base_dir ^ "/closed.xml"
 let gtkmathview_conf = runtime_base_dir ^ "/gtkmathview.matita.conf.xml"
 let matitamake_makefile_template = runtime_base_dir ^ "/template_makefile.in"
 let stdlib_dir = runtime_base_dir ^ "/library"
+let help_dir = runtime_base_dir ^ "/help"
 

diff --git a/helm/software/matita/buildTimeConf.mli b/helm/software/matita/buildTimeConf.mli
index 09a927fc6fc91194a8a11992c99d70449ae22175..bd87f6872a471880e5eae1f51718334c52f6eff6 100644 (file)
--- a/helm/software/matita/buildTimeConf.mli
+++ b/helm/software/matita/buildTimeConf.mli
@@ -36,6 +36,7 @@ val debug                         : bool
 val default_font_size             : int
 val gtkmathview_conf              : string
 val gtkrc_file                    : string
+val help_dir                      : string
 val images_dir                    : string
 val lang_file                     : string
 val matita_conf                   : string

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 9cde82b7535501fb100d9a3a121621fff0d1b301..b3ebebd9054378d059e6cc1aa19327b806af60ee 100644 (file)
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/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 () =