X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fpkg-matita%2Ftrunk%2Fdebian%2Fpatches%2Fmatita.conf.xml.in.dpatch;h=45f1c0caf304d00146937bc74dd1413bd13d8238;hb=552a426a7d176268477136772397001918ac9f2c;hp=d4648c7b247eb26a3c2dacb51dd7a80b3c5a1f7f;hpb=709994143bff1a77545b4dc0e3d7d22894e92a09;p=helm.git
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 @@
+
+-
+
-
-
@@ -45,7 +43,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
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/
@@ -53,7 +51,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
cic:/
file://@RT_BASE_DIR@/xml/legacy-library/coq/
-@@ -126,5 +131,6 @@
+@@ -119,5 +122,6 @@
http://mowgli.cs.unibo.it/xml/
legacy