X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fmatita.conf.xml.in;h=851d0e816897110a61fc2d13a5d1b47962ff1b99;hb=7cb9cdbd64e1abbedf3c6af5638c42e3da3f5cea;hp=aeb8af025298496b2ee09be7c63b34da4a26696a;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git
diff --git a/matita/matita/matita.conf.xml.in b/matita/matita/matita.conf.xml.in
index aeb8af025..851d0e816 100644
--- a/matita/matita/matita.conf.xml.in
+++ b/matita/matita/matita.conf.xml.in
@@ -15,6 +15,8 @@
$(user.home)/.matita
+
+ false
@RT_BASE_DIR@
- $(user.home)/.matita/getter/cache
+ $(matita.basedir)/getter/cache