From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 13 Sep 2007 14:23:27 +0000 (+0000)
Subject: new matita.conf with getter entry to see the published matita contribs and with a... 
X-Git-Tag: make_still_working~6019
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2914c7179cb8253388df0f5257e41d014a277b01;p=helm.git

new matita.conf with getter entry to see the published matita contribs and with a db entry to see the public db.
a db sipset for publishing the matita developments is also provided
---

diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index 62f69ac61..791e69cf8 100644
--- a/helm/software/matita/matita.conf.xml.in
+++ b/helm/software/matita/matita.conf.xml.in
@@ -49,9 +49,18 @@
     <!-- this snippet is what is used by the helm team, everything on mowgli.
          note that user's tables are named diffrently from library tables, so that
 	 they can coexists on the same db -->
+
+    <key name="metadata">@DBHOST@ public helm none legacy</key>
     <key name="metadata">@DBHOST@ matita helm none library</key>
     <key name="metadata">@DBHOST@ matita helm none user</key>
 
+    <!-- The following snipset is used by the helm team to publish the matita
+         contributions
+    <key name="metadata">@DBHOST@ mowgli helm none legacy</key>
+    <key name="metadata">@DBHOST@ public helm none library</key>
+    <key name="metadata">@DBHOST@ public helm none user</key>
+    -->
+
     <!-- The following snippet it what you want to use a local sqlite db
          and acess remotely to the coq library trought mowgli
     <key name="metadata">@DBHOST@ matita helm none legacy</key>
@@ -88,6 +97,11 @@
       (e.g. the Matita standard library)
     "legacy" implies "ro"
     -->
+    <key name="prefix">
+      cic:/matita/
+      file:///projects/helm/library/matita_contribs/matita
+      ro
+    </key>
     <key name="prefix">
       cic:/matita/
       file://$(matita.rt_base_dir)/xml/standard-library/