Julien Cristau a écrit : > 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. >
Well, he didn't complain. So, how do we know whether it's correct? I don't see any point regarding this point in the documentation? and how do you enforce version 4.1.2? It it enough to put that information in the DTD's name? (I'm not an XSL or Docbook expert) Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
