X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fmain.ml;h=6501afdafb61799a08642c16df98667a1d4eae5c;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=6a3ec6a0d2c2aec9f83b4efeb62003a3961c3d34;hpb=281b71a8467b8643386a07211f18864b2b71bdec;p=helm.git

diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml
index 6a3ec6a0d..6501afdaf 100644
--- a/helm/http_getter/main.ml
+++ b/helm/http_getter/main.ml
@@ -34,8 +34,7 @@ open Http_getter_types
 
   (* constants *)
 
-(* let configuration_file = "/projects/helm/etc/http_getter.conf.xml" *)
-let configuration_file = "http_getter.conf.xml"
+let configuration_file = BuildTimeOpts.conffile
 
 let common_headers = [
   "Cache-Control", "no-cache";