X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.conf.xml.in;h=e88a4fc5a8104987bbc89528848fb8f0c7994201;hb=e637a49974d061f8f9a55b2c3c33e31757d99424;hp=f9dbfc781b1446c8de0d6e19c117dfc5485633fd;hpb=071bb57c99e38a52d2606f7aca47bf56cdeaff53;p=helm.git
diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index f9dbfc781..e88a4fc5a 100644
--- a/helm/software/matita/matita.conf.xml.in
+++ b/helm/software/matita/matita.conf.xml.in
@@ -45,28 +45,21 @@
exactly one 'library' db must be specified
exactly one 'legacy' db can be specified
-->
-
-
+
-
+ @DBHOST@ matita helm none user
file://$(matita.rt_base_dir) metadata.db helm helm library
file://$(matita.basedir) user.db helm helm user
+ -->
-
cic:/matita/
file://$(matita.rt_base_dir)/xml/standard-library/
@@ -113,7 +104,6 @@
cic:/matita/
file://$(user.home)/.matita/xml/matita/
-