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 3d26301990c6ba29628c645c44bc19f4b5d1e231..5fdca30866b79cb6bd28050ce6c81ae3273df99c 100644 (file)
--- 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