From 586fd6f56b845612e60a80f17f8070d13be52660 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 6 Feb 2006 17:17:10 +0000 Subject: [PATCH] help path is no longer hard coded but relative to runtime base dir --- matita/buildTimeConf.ml.in | 1 + matita/buildTimeConf.mli | 1 + matita/matitaGui.ml | 7 +++++-- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/matita/buildTimeConf.ml.in b/matita/buildTimeConf.ml.in index 8ea2c7b86..0be6f2c86 100644 --- a/matita/buildTimeConf.ml.in +++ b/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/matita/buildTimeConf.mli b/matita/buildTimeConf.mli index 09a927fc6..bd87f6872 100644 --- a/matita/buildTimeConf.mli +++ b/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/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 () = -- 2.39.2