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

diff --git a/helm/interface/configuration.ml.in b/helm/interface/configuration.ml.in
index add4c3a88..2177397ee 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_DEFAULT_CONFIGURATION_DIR@"
  in
-  prefix ^ "/local/etc/helm/configuration.xml";;
+  prefix ^ "/configuration.xml";;
 
 exception Warnings;;