From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 6 Feb 2006 17:17:10 +0000 (+0000)
Subject: help path is no longer hard coded but relative to runtime base dir
X-Git-Tag: make_still_working~7624
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=58cda4ac5c0fcdba36993496e607fe326757a896;p=helm.git

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 8ea2c7b86..0be6f2c86 100644
--- 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 09a927fc6..bd87f6872 100644
--- 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 9cde82b75..b3ebebd90 100644
--- 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 () =