completed installation instructions

[helm.git] / helm / software / matita / buildTimeConf.mli

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