X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fconfigure.ac;fp=helm%2Fhttp_getter%2Fconfigure.ac;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=36efda57607e6c2fc19c4f9f26381af790da1214;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/http_getter/configure.ac b/helm/http_getter/configure.ac
deleted file mode 100644
index 36efda576..000000000
--- a/helm/http_getter/configure.ac
+++ /dev/null
@@ -1,13 +0,0 @@
-AC_INIT(main.ml)
-
-AC_ARG_WITH(conffile,
-	      AS_HELP_STRING([--with-conffile=fname],
-			     [set default run time configuration file (default is /etc/http_getter.conf.xml]),
-	      [GETTER_CONF_FILE=$withval], [GETTER_CONF_FILE=/etc/http_getter.conf.xml])
-
-AC_SUBST(GETTER_CONF_FILE)
-
-AC_OUTPUT([
-  buildTimeOpts.ml
-])
-