diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-06-02 13:49:43 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-06-02 13:49:43 +0000 |
| commit | cfe2fd2a36f43c1f998bb5e7c0cec15480ed3f96 (patch) | |
| tree | 20808b4bef6320497def03be470b2b16095b0f9a /configure.ac | |
| parent | 467f1aa698446b99d365122a2a30d1618f2bec74 (diff) | |
| download | haskell-cfe2fd2a36f43c1f998bb5e7c0cec15480ed3f96.tar.gz | |
tidy up autoconfiguration of docbook stuff
* use --nonet, so xmllint and co don't go off trying to download
stuff from the web
* use the http:// reference for the stylesheet, so we don't have to
search the filesystem for it (should speedup ./configure)
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 6aa6361a49..a6cee7077f 100644 --- a/configure.ac +++ b/configure.ac @@ -621,8 +621,7 @@ fi dnl ** check for DocBook toolchain FP_CHECK_DOCBOOK_DTD -FP_DIR_DOCBOOK_XSL([/usr/share/xml/docbook/stylesheet/nwalsh/current /usr/share/xml/docbook/stylesheet/nwalsh /usr/share/xml/docbook/xsl-stylesheets* /usr/share/sgml/docbook/docbook-xsl-stylesheets* /usr/share/sgml/docbook/xsl-stylesheets* /opt/kde?/share/apps/ksgmltools2/docbook/xsl /usr/share/docbook-xsl /usr/share/sgml/docbkxsl /usr/local/share/xsl/docbook /sw/share/xml/xsl/docbook-xsl /opt/local/share/xsl/docbook-xsl]) - +FP_DOCBOOK_XSL FP_PROG_DBLATEX FP_PROG_HSTAGS @@ -922,7 +921,7 @@ else fi AC_SUBST(HavePapi) -if test "$DIR_DOCBOOK_XSL" = "" || +if test "$HAVE_DOCBOOK_XSL" = "" || test "$XsltprocCmd" = "" then BUILD_DOCBOOK_HTML=NO |