X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FcomponentsConf.mli;h=3d8548cf7a730f00b8b70c35c12d144d9f118c52;hb=433d9c9612c1557e03a549e004c796c1137d4b4a;hp=79462bbf476e3de4cbc659a984fb7605fd99e43a;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/extlib/componentsConf.mli b/helm/software/components/extlib/componentsConf.mli
index 79462bbf4..3d8548cf7 100644
--- a/helm/software/components/extlib/componentsConf.mli
+++ b/helm/software/components/extlib/componentsConf.mli
@@ -23,6 +23,15 @@
  * http://helm.cs.unibo.it/
  *)
 
+(** {2 Compile time components configuration}
+ *
+ * This module does not really belong to the extlib (where it is actually
+ * located) it is here just because it's the first in the component dependencies
+ * graph *)
+
 val debug: bool
 val profiling: bool
 
+  (** absolute path of the helm/software directory, only for development use *)
+val src_root: string
+