X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fconfiguration.ml.in;h=d78e0b36101a9f0e19bd624e5236576714c05aaf;hb=07b29a457f5f16e1aa85afbe057242a01c9303f1;hp=add4c3a882d35b4a6b5e6beebc8c9b47ca050d5d;hpb=93b0c2d038540dd1f3088609ecb0aea6d09a392c;p=helm.git

diff --git a/helm/interface/configuration.ml.in b/helm/interface/configuration.ml.in
index add4c3a88..d78e0b361 100644
--- a/helm/interface/configuration.ml.in
+++ b/helm/interface/configuration.ml.in
@@ -13,11 +13,11 @@
 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;;