From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 11 Jan 2008 16:13:49 +0000 (+0000)
Subject: I'll talk again with ferruccio, for the moment this is the right
X-Git-Tag: make_still_working~5679
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39293015293690528de4243d8cb86434f48b4b8c;p=helm.git

I'll talk again with ferruccio, for the moment this is the right
way to allow every user that does and svn co to compile everithing.
---

diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index 3d2630199..5fdca3086 100644
--- a/helm/software/matita/matita.conf.xml.in
+++ b/helm/software/matita/matita.conf.xml.in
@@ -52,8 +52,7 @@
          note that user's tables are named diffrently from library tables,
 	 so they can coexists on the same db -->
 
-    <key name="metadata">@DBHOST@ matita helm none legacy</key>
-    <key name="metadata">@DBHOST@ public helm none library</key>
+    <key name="metadata">@DBHOST@ matita helm none library</key>
     <key name="metadata">@DBHOST@ matita helm none user</key>
 
     <!-- The following snippet it what you want to use a local sqlite db