This commit was manufactured by cvs2svn to create tag 'initial'.

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

diff --git a/helm/interface/configuration.ml b/helm/interface/configuration.ml
index 9a36cb37dc52e1de0ddcbadbff4a76bae2e884b3..6b0facf3398d3df21855657a19da923b7d8e7d99 100644 (file)
--- a/helm/interface/configuration.ml
+++ b/helm/interface/configuration.ml
@@ -10,14 +10,7 @@
 (******************************************************************************)
 
 (* this should be the only hard coded constant *)
-let filename =
- let prefix =
-  try
-   Sys.getenv "HELM_CONFIGURATION_PREFIX"
-  with
-   Not_found -> ""
- in
-  prefix ^ "/local/etc/helm/configuration.xml";;
+let filename = "/home/cadet/sacerdot/local/etc/helm/configuration.xml";;
 
 exception Warnings;;