X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fdoc%2Fhttp_getter.conf.xml.sample;fp=helm%2Fhttp_getter%2Fdoc%2Fhttp_getter.conf.xml.sample;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=f629e2cba68a2bb2557daf3d66dde973e2cf120d;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/http_getter/doc/http_getter.conf.xml.sample b/helm/http_getter/doc/http_getter.conf.xml.sample
deleted file mode 100644
index f629e2cba..000000000
--- a/helm/http_getter/doc/http_getter.conf.xml.sample
+++ /dev/null
@@ -1,26 +0,0 @@
-<http_getter_configuration>
-
-  <http_getter_servers_file>run/servers.txt</http_getter_servers_file>
-
-  <http_getter_cic_dir>run/cic_library</http_getter_cic_dir>
-  <http_getter_nuprl_dir>run/nuprl_library</http_getter_nuprl_dir>
-  <http_getter_rdf_dir>run/rdf_library</http_getter_rdf_dir>
-  <http_getter_dtd_dir>run/dtd</http_getter_dtd_dir>
-
-  <http_getter_cic_dbm>run/cic_db</http_getter_cic_dbm>
-  <http_getter_nuprl_dbm>run/nuprl_db</http_getter_nuprl_dbm>
-  <http_getter_rdf_dbm>run/rdf_db</http_getter_rdf_dbm>
-  <http_getter_xsl_dbm>run/xsl_db</http_getter_xsl_dbm>
-
-  <http_getter_cache_mode>gz</http_getter_cache_mode>
-<!--   <http_getter_cache_mode>normal</http_getter_cache_mode> -->
-
-  <http_getter_xml_indexname>index.txt</http_getter_xml_indexname>
-  <http_getter_rdf_indexname>rdf_index.txt</http_getter_rdf_indexname>
-  <http_getter_xsl_indexname>xslt_index.txt</http_getter_xsl_indexname>
-
-  <http_getter_dtd_base_url>http://mowgli.cs.unibo.it/dtd</http_getter_dtd_base_url>
-
-  <http_getter_port>58081</http_getter_port>
-
-</http_getter_configuration>