
11 Feb
2005
11 Feb
'05
8:17 a.m.
"Simon Marlow"
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 [....] Regards, Malcolm