On Mon, Jun 8, 2009 at 15:51:16 +0200, Mehdi Dogguy wrote: > diff -urNad trunk~/matita/help/C/matita.xml trunk/matita/help/C/matita.xml > --- trunk~/matita/help/C/matita.xml 2008-06-20 18:39:32.000000000 +0200 > +++ trunk/matita/help/C/matita.xml 2009-06-08 15:32:42.000000000 +0200 > @@ -1,6 +1,6 @@ > <?xml version="1.0"?> > <!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN" > -"http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd"; [ > +"/usr/share/xml/docbook/schema/dtd/4.1.2/docbookx.dtd" [ >
I don't think this is correct. docbook should find the dtd locally from its catalog files. Cheers, Julien -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
