...

[helm.git] / helm / interface / configuration.ml.in

diff --git a/helm/interface/configuration.ml.in b/helm/interface/configuration.ml.in
index add4c3a882d35b4a6b5e6beebc8c9b47ca050d5d..2177397eeec2623c3ade7f0db6e65631f9b3d05e 100644 (file)
--- 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;;