X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=fe11b895751e720bf634d0204544c1792c681485;hb=0ba4b0a1104131cd6eae8d570c1e1a713094543c;hp=37a7f412bb66090fb15660531fbfec09f36174cb;hpb=855110881a6ea96cdb43388d5171bd1a24b7cf3e;p=ghc-hetmet.git

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 37a7f41..fe11b89 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -185,6 +185,12 @@ IncludeExampleDirsInBuild=NO
 #
 SGMLDocWays=
 
+#
+# Which ways should DocBook XML documents be built?
+# options are: dvi ps pdf html
+#
+XMLDocWays=
+
 ################################################################################
 #
 #		GHC project
@@ -902,6 +908,22 @@ SRC_SGML2PDF_OPTS       = -d $(SGMLSTYLESHEET)
 DOCBOOK_CATALOG		= @Catalog@
 
 #-----------------------------------------------------------------------------
+# 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
+
+#-----------------------------------------------------------------------------
 # 		FPtools support software
 
 # Stuff from fptools/glafp-utils