diff options
author | simonmar <simonmar@microsoft.com> | 2005-10-29 08:14:43 +0000 |
---|---|---|
committer | simonmar <simonmar@microsoft.com> | 2005-10-29 08:14:43 +0000 |
commit | 766cecdda0a834e2a50a6aaa36518ea6b4ac360c (patch) | |
tree | c7f45cd024fa7ba65aa028421a6b7cedf17dbe7e /doc/config.mk.in | |
parent | 21c7ac8d714be74903755ed2d6ee3716ab77a727 (diff) |
Add configure script and Makefile for the docs
Add a separate configure script and build system for building the
documentation. The configure and Makefile code is stolen from
fptools. This is left as a separate build system so that the main
Cabal setup doesn't require a Unix build environment or DocBook XML
tools.
Diffstat (limited to 'doc/config.mk.in')
-rw-r--r-- | doc/config.mk.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/config.mk.in b/doc/config.mk.in new file mode 100644 index 00000000..e286794c --- /dev/null +++ b/doc/config.mk.in @@ -0,0 +1,15 @@ +#----------------------------------------------------------------------------- +# DocBook XML stuff + +XSLTPROC = @XsltprocCmd@ +XMLLINT = @XmllintCmd@ +FOP = @FopCmd@ +XMLTEX = @XmltexCmd@ +PDFXMLTEX = @PdfxmltexCmd@ +DVIPS = @DvipsCmd@ + +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 |