X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fconfiguration%2Fetc%2Fconfiguration.xml.in;h=db034369d1508f23a9fcb9f29cef5d5350354229;hb=420257677b646f2598ad166408b13d18d552f37d;hp=756286c3ff980c8cea3f4ebae7af825f1702ce8e;hpb=255b967c56a97328ca17f30c3120cd7cda055c3f;p=helm.git
diff --git a/helm/configuration/etc/configuration.xml.in b/helm/configuration/etc/configuration.xml.in
index 756286c3f..db034369d 100644
--- a/helm/configuration/etc/configuration.xml.in
+++ b/helm/configuration/etc/configuration.xml.in
@@ -29,11 +29,13 @@
@HELM_LIBRARY_DIR@
@HELM_DTD_DIR@
+ @HELM_STYLE_DIR@
+
@HELM_SERVERS_FILE@
@HELM_URIS_DBM@
index.txt
- @HELM_TMP_DIR@
+ @HELM_TMP_DIR@
/home/lpadovan/helm/PARSER/examples
http://localhost/really_very_local/helm/header/getheader.xml
@@ -43,5 +45,5 @@
http://localhost/cgi-bin/helm/use_webeqp.pl
?baseurl=&stylesheet1=rootcontent.xsl&stylesheet2=content_to_html.xsl&xmluri=
http://localhost:8081/
- http://localhost:12345/
+ http://localhost:8080/helm/servlet/uwobo/