generating documentation takes forever

[strk]

Especially with a GPRS connection, generating documentation takes a lot of time. Looks like xsltproc attempts to download something:

http://www.w3.org/Math/DTD/mathml2/mathml2.dtd:2084: warning: failed to load external entity "http://www.w3.org/Math/DTD/mathml2/iso9573-13/isomscr.ent"

Were we supposed to ship those dtds ?

[chodgson]

I think we've agreed that it is wrong to repackage the MathML and/or docbook DTDs. If you want to not download them every time, then you need to install them locally. For reasonably recent distros, you should be able to apt-get/yum them from your repository, you need mathml2 and docbook-mathml2 (or something like that). For older or less helpful distros you can download the packages from their respective sources and fiddle with your xml catalog files to get xsltproc to find them.

[strk]

I'd love to fix this once for all. I do have mathml2.dtd on the system, it is here: /usr/share/xml/schema/w3c/mathml/dtd/mathml2.dtd But xsltproc keeps looking for the online version. Why ? Where's the xml catalog files ? Can we run with --nonet to _prevent_ online access to even being tried ?

[strk]

FYI, the xsltproc manual page:

       xsltproc accepts the following options (in alphabetical order):

       --catalogs
           Use the SGML catalog specified in SGML_CATALOG_FILES to resolve the location of external entities. By default, xsltproc looks for the catalog
           specified in XML_CATALOG_FILES. If that is not specified, it uses /etc/xml/catalog.

[strk]

It looks like there's a bug in the debian package failing to do the catalog update: ​http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637394

I'm working on a naive ./configure time check to use offline DTD when found (falling back to online which could hopefully be driven by catalogue).

[strk]

Alright with r9327 we have ./configure looking for a mathml2.dtd file on the filesystem and use that if found. It currently only looks in the directory I have here but can be easily expanded and we may eventually add an explicit switch to let the user specify its location. Finally we could drop completely net access by making it _mandatory_ to have it locally, but I think this is worth a separate ticket, which I'm about to open.

[strk]

See #1624 for a general handling of this.