And some more information on the issue. When I run the configure script, I see this error message on the screen (which probably won't make it into the config.log output): | 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 4557: 22276 Segmentation fault | $XsltprocCmd ${fp_var}/html/docbook.xsl conftest.xml | >/dev/null 2>&1 | no | configure: WARNING: cannot find DocBook XSL stylesheets, | you will not be able to build the documentation The xsl stylesheets are installed at /usr/share/sgml/docbook/xsl-stylesheets-1.65.1/ on my machine, so configure _should_ find them. Peter