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 /mk | |
| 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 'mk')
| -rw-r--r-- | mk/config.mk.in | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 800c32e82e..1e2bde0dec 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -842,18 +842,17 @@ ISCC = #----------------------------------------------------------------------------- # DocBook XML stuff -BUILD_DOCBOOK_HTML = @BUILD_DOCBOOK_HTML@ -BUILD_DOCBOOK_PS = @BUILD_DOCBOOK_PS@ -BUILD_DOCBOOK_PDF = @BUILD_DOCBOOK_PDF@ -DBLATEX = @DblatexCmd@ -XSLTPROC = @XsltprocCmd@ -XMLLINT = @XmllintCmd@ - -DIR_DOCBOOK_XSL = @DIR_DOCBOOK_XSL@ - -XSLTPROC_LABEL_OPTS = --stringparam toc.section.depth 3 \ - --stringparam section.autolabel 1 \ - --stringparam section.label.includes.component.label 1 +BUILD_DOCBOOK_HTML = @BUILD_DOCBOOK_HTML@ +BUILD_DOCBOOK_PS = @BUILD_DOCBOOK_PS@ +BUILD_DOCBOOK_PDF = @BUILD_DOCBOOK_PDF@ +DBLATEX = @DblatexCmd@ +XSLTPROC = @XsltprocCmd@ +XMLLINT = @XmllintCmd@ +HAVE_DOCBOOK_XSL = @HAVE_DOCBOOK_XSL@ +XSLTPROC_HTML_STYLESHEET = http://docbook.sourceforge.net/release/xsl/current/html/chunk.xsl +XSLTPROC_LABEL_OPTS = --stringparam toc.section.depth 3 \ + --stringparam section.autolabel 1 \ + --stringparam section.label.includes.component.label 1 #----------------------------------------------------------------------------- # FPtools support software |