X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fetc%2Fconfiguration.xml.in;h=b14b235f9c2fab6e4c8cb4e224f98d395df34e21;hb=2cf66cdc91daeded898c9d5b79dd5c2a32f5b52b;hp=d1e65434db4e17060751e6c273b00ad61e6cb381;hpb=8cf1d2602b5ed9ef5304e8709cd772e1188690b5;p=helm.git

diff --git a/helm/configuration/etc/configuration.xml.in b/helm/configuration/etc/configuration.xml.in
index d1e65434d..b14b235f9 100644
--- a/helm/configuration/etc/configuration.xml.in
+++ b/helm/configuration/etc/configuration.xml.in
@@ -9,7 +9,7 @@
  <uris_dbm>@CONFIGURATION_URIS_DBM@</uris_dbm>
  <dest><value-of var="helm_dir"/></dest>
  <indexname>index.txt</indexname>
- <tmpdir>@TMPDIR@</tmpdir>
+ <tmpdir>@CONFIGURATION_TMPDIR@</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>