On 11 February 2005 13:17, Malcolm Wallace wrote:

"Simon Marlow" writes:

...

I'm having some trouble with the XML docbook formatting tools right now. If you have a source tree, 'make html' should work in ghc/docs/users_guide.

Sadly, not.

$ cvs checkout ... $ cd fptools $ autoreconf $ ./configure [....] checking for xmllint... /usr/bin/xmllint checking for DocBook DTD... ok checking for xsltproc... /usr/bin/xsltproc checking for DocBook XSL stylesheet directory... ./configure: line 4517: 1746 Segmentation fault $XsltprocCmd ${fp_var}/html/docbook.xsl conftest.xml >/dev/null 2>&1 ./configure: line 4517: 1799 Segmentation fault $XsltprocCmd ${fp_var}/html/docbook.xsl conftest.xml >/dev/null 2>&1 no [....]

Wow, your system's in even worse shape than mine! You might try updating xsltproc to a newer vesrion. Cheers, Simon