Andrea Gasparini wrote: > > I think you'd want to modify matita/help/C/xsl/matita-xhtml.xsl as well. >
Right.
#! /bin/sh /usr/share/dpatch/dpatch-run ## nonet.dpatch by Mehdi Dogguy <[email protected]> ## ## DP: Don't use network when building help documents. @DPATCH@ diff -urNad trunk~/debian/control trunk/debian/control --- trunk~/debian/control 2009-02-18 12:27:33.000000000 +0100 +++ trunk/debian/control 2009-06-08 17:54:07.000000000 +0200 @@ -4,7 +4,7 @@ Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Enrico Tassi <[email protected]>, Stefano Zacchiroli <[email protected]> Build-Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2) -Build-Depends-Indep: xsltproc, dblatex +Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml Standards-Version: 3.8.0 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita/trunk Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/ diff -urNad trunk~/matita/help/C/Makefile trunk/matita/help/C/Makefile --- trunk~/matita/help/C/Makefile 2008-11-25 20:15:53.000000000 +0100 +++ trunk/matita/help/C/Makefile 2009-06-08 17:54:07.000000000 +0200 @@ -1,7 +1,7 @@ include ../../../Makefile.defs -XSLTPROC=xsltproc +XSLTPROC=xsltproc --nonet XHTML_XSL=xsl/matita-xhtml.xsl MAIN=matita.xml DEPS := $(wildcard *.xml) 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 17:54:07.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" [ <!ENTITY legal SYSTEM "legal.xml"> <!ENTITY license SYSTEM "sec_license.xml"> diff -urNad trunk~/matita/help/C/xsl/matita-fo.xsl trunk/matita/help/C/xsl/matita-fo.xsl --- trunk~/matita/help/C/xsl/matita-fo.xsl 2006-06-13 16:18:33.000000000 +0200 +++ trunk/matita/help/C/xsl/matita-fo.xsl 2009-06-08 17:54:07.000000000 +0200 @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="utf-8"?> <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0"> - <xsl:import href="http://docbook.sourceforge.net/release/xsl/current/fo/docbook.xsl"/> + <xsl:import href="/usr/share/xml/docbook/stylesheet/docbook-xsl/fo/docbook.xsl"/> <xsl:output method="xml" encoding="utf-8" indent="yes"/> </xsl:stylesheet> diff -urNad trunk~/matita/help/C/xsl/matita-xhtml.xsl trunk/matita/help/C/xsl/matita-xhtml.xsl --- trunk~/matita/help/C/xsl/matita-xhtml.xsl 2008-11-25 20:30:33.000000000 +0100 +++ trunk/matita/help/C/xsl/matita-xhtml.xsl 2009-06-08 17:54:07.000000000 +0200 @@ -2,7 +2,7 @@ <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0"> - <xsl:import href="http://docbook.sourceforge.net/release/xsl/current/xhtml/chunk.xsl"/> + <xsl:import href="/usr/share/xml/docbook/stylesheet/docbook-xsl/html/chunk.xsl"/> <xsl:output method="xml" encoding="utf-8" indent="yes"/> <xsl:param name="use.id.as.filename" select="1" />

