Bug#532289: matita fails to build in a non-networking environment.
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
Reply to: