added patch for the configuration file

[helm.git] / pkg-matita / trunk / debian / patches / matita.conf.xml.in.dpatch

diff --git a/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch b/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
new file mode 100755 (executable)
index 0000000..d4648c7
--- /dev/null
+++ b/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
@@ -0,0 +1,62 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## matita.conf.xml.in.dpatch by Enrico Tassi <gareuselesinge@debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+@DPATCH@
+diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
+--- trunk~/matita/matita.conf.xml.in   2007-10-28 14:10:17.000000000 +0100
++++ trunk/matita/matita.conf.xml.in    2007-10-28 14:41:45.000000000 +0100
+@@ -50,9 +50,11 @@
+          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
+@@ -64,9 +66,9 @@
+     <!-- 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>
++-->
+     <key name="metadata">file://$(matita.rt_base_dir) metadata.db helm helm library</key>
+     <key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
+-    -->
+ 
+     <!-- 
+     If you have a large amount of metadata, you may be interested in using
+@@ -97,11 +99,13 @@
+       (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/
+@@ -111,6 +115,7 @@
+       cic:/matita/
+       file://$(user.home)/.matita/xml/matita/
+     </key>
++<!--
+     <key name="prefix">
+       cic:/
+       file://@RT_BASE_DIR@/xml/legacy-library/coq/
+@@ -126,5 +131,6 @@
+       http://mowgli.cs.unibo.it/xml/
+       legacy
+     </key>
++-->
+   </section>
+ </helm_registry>