From 0fd30c3f326c41acf000725ae5438795d756f410 Mon Sep 17 00:00:00 2001 From: Enrico Tassi 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/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch b/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch index d4648c7b2..45f1c0caf 100755 --- a/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch +++ b/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 -- 2.39.2