X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FbuildTimeConf.mli;h=78d0df0e8cbc5a6ef2f9fd65f25b73e1c9a735c4;hb=09c2feb12e84b2d2bd2e04454274b1e9e7fcfa8b;hp=09a927fc6fc91194a8a11992c99d70449ae22175;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/buildTimeConf.mli b/matita/buildTimeConf.mli
index 09a927fc6..78d0df0e8 100644
--- a/matita/buildTimeConf.mli
+++ b/matita/buildTimeConf.mli
@@ -25,26 +25,29 @@
 
 (* $Id$ *)
 
-val base_uri                      : string
-val blank_uri                     : string
-val browser_history_size          : int
-val closed_xml                    : string
-val console_history_size          : int
-val core_notation_script          : string
-val current_proof_uri             : string
-val debug                         : bool
-val default_font_size             : int
-val gtkmathview_conf              : string
-val gtkrc_file                    : string
-val images_dir                    : string
-val lang_file                     : string
-val matita_conf                   : string
-val matitamake_makefile_template  : string
-val phrase_sep                    : string
-val runtime_base_dir              : string
-val script_font                   : string
-val script_template               : string
-val stdlib_dir                    : string
-val undo_history_size             : int
-val version                       : string
+val base_uri                              : string
+val blank_uri                             : string
+val browser_history_size                  : int
+val closed_xml                            : string
+val console_history_size                  : int
+val core_notation_script                  : string
+val current_proof_uri                     : string
+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
+val matitamake_makefile_template          : string
+val matitamake_makefile_template_devel    : string
+val phrase_sep                            : string
+val runtime_base_dir                      : string
+val script_font                           : string
+val script_template                       : string
+val stdlib_dir_devel                      : string
+val stdlib_dir_installed                  : string
+val undo_history_size                     : int
+val version                               : string