X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Flocal%2Fetc%2Fhelm%2Fconfiguration.xml;fp=helm%2Fconfiguration%2Flocal%2Fetc%2Fhelm%2Fconfiguration.xml;h=0000000000000000000000000000000000000000;hb=f1963225783effe6f19d5ad6f44f3c049f76cd6e;hp=29672d5e1d547013bdabe2473d0c60ea1cf977e5;hpb=c3dc7a49311fba7a38c5e7c834df33e93d2926f6;p=helm.git

diff --git a/helm/configuration/local/etc/helm/configuration.xml b/helm/configuration/local/etc/helm/configuration.xml
deleted file mode 100644
index 29672d5e1..000000000
--- a/helm/configuration/local/etc/helm/configuration.xml
+++ /dev/null
@@ -1,22 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-<!DOCTYPE configuration SYSTEM "configuration.dtd">
-
-<configuration>
- <helm_dir>/home/pauillac/coq3/sacerdot/HELM/V6.2/examples</helm_dir>
-
- <dtd_dir>/home/pauillac/coq3/sacerdot/HELM/dtd</dtd_dir>
- <servers_file>/home/pauillac/coq3/sacerdot/HELM/V6.2/servers.txt</servers_file>
- <uris_dbm>/home/pauillac/coq3/sacerdot/HELM/V6.2/urls_of_uris</uris_dbm>
- <dest><value-of var="helm_dir"/></dest>
- <indexname>index.txt</indexname>
- <tmpdir>/tmp</tmpdir>
-
- <helm_url_path>/home/lpadovan/helm/PARSER/examples</helm_url_path>
- <getheader_url>http://localhost/really_very_local/helm/header/getheader.xml</getheader_url>
- <style_url>http://localhost/really_very_local/helm/style/</style_url>
- <webeq_url>http://localhost/cgi-bin/helm/webeq.pl</webeq_url>
- <webeqp_url>http://localhost/cgi-bin/helm/webeqp.pl</webeqp_url>
- <use_webeqp_url>http://localhost/cgi-bin/helm/use_webeqp.pl</use_webeqp_url>
- <html_link><value-of var="getheader_url"/>?baseurl=<value-of var="style_url"/>&amp;stylesheet1=rootcontent.xsl&amp;stylesheet2=content_to_html.xsl&amp;xmluri=</html_link>
- <getter_url>http://localhost:8081/get?uri=</getter_url>
-</configuration>