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 /rules/docbook.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 'rules/docbook.mk')
| -rw-r--r-- | rules/docbook.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/rules/docbook.mk b/rules/docbook.mk index a06aa0f41b..73532b72cc 100644 --- a/rules/docbook.mk +++ b/rules/docbook.mk @@ -34,8 +34,10 @@ $1/$2/index.html: $$($1_DOCBOOK_SOURCES) "$$(XSLTPROC)" --stringparam base.dir $$(dir $$@) \ --stringparam use.id.as.filename 1 \ --stringparam html.stylesheet fptools.css \ + --nonet \ $$(XSLTPROC_LABEL_OPTS) $$(XSLTPROC_OPTS) \ - $$(DIR_DOCBOOK_XSL)/html/chunk.xsl $1/$2.xml + $$(XSLTPROC_HTML_STYLESHEET) \ + $1/$2.xml cp mk/fptools.css $$(dir $$@) else html_$1 : |