]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/configuration.ml.in
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / interface / configuration.ml.in
index add4c3a882d35b4a6b5e6beebc8c9b47ca050d5d..d78e0b36101a9f0e19bd624e5236576714c05aaf 100644 (file)
 let filename =
  let prefix =
   try
-   Sys.getenv "HELM_CONFIGURATION_PREFIX"
+   Sys.getenv "HELM_CONFIGURATION_DIR"
   with
-   Not_found -> ""
+   Not_found -> "@HELM_CONFIGURATION_DIR@"
  in
-  prefix ^ "/local/etc/helm/configuration.xml";;
+  prefix ^ "/configuration.xml";;
 
 exception Warnings;;