From 750e042ee5af00d33a6c2c50f98fd805991c318e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 9 Nov 2007 08:39:33 +0000
Subject: [PATCH] ...

---
 .../debian/patches/matita.conf.xml.in.dpatch  | 28 +++++++++----------
 1 file changed, 13 insertions(+), 15 deletions(-)

diff --git a/helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch b/helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
index d4648c7b2..45f1c0caf 100755
--- a/helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
+++ b/helm/software/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
@@ -6,21 +6,19 @@
 
 @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 -->
- 
+--- trunk~/matita/matita.conf.xml.in	2007-10-29 17:13:47.000000000 +0100
++++ trunk/matita/matita.conf.xml.in	2007-11-07 15:57:56.000000000 +0100
+@@ -49,17 +49,17 @@
+     <!-- The following snippet is used by the helm team
+          note that user's tables are named diffrently from library tables,
+ 	 so 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 legacy</key>
+     <key name="metadata">@DBHOST@ public 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>
@@ -31,7 +29,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
  
      <!-- 
      If you have a large amount of metadata, you may be interested in using
-@@ -97,11 +99,13 @@
+@@ -90,11 +90,13 @@
        (e.g. the Matita standard library)
      "legacy" implies "ro"
      -->
@@ -45,7 +43,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
      <key name="prefix">
        cic:/matita/
        file://$(matita.rt_base_dir)/xml/standard-library/
-@@ -111,6 +115,7 @@
+@@ -104,6 +106,7 @@
        cic:/matita/
        file://$(user.home)/.matita/xml/matita/
      </key>
@@ -53,7 +51,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
      <key name="prefix">
        cic:/
        file://@RT_BASE_DIR@/xml/legacy-library/coq/
-@@ -126,5 +131,6 @@
+@@ -119,5 +122,6 @@
        http://mowgli.cs.unibo.it/xml/
        legacy
      </key>
-- 
2.39.2