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

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 37a7f41..6d61470 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,18 @@ 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@
+
+#-----------------------------------------------------------------------------
 # 		FPtools support software
 
 # Stuff from fptools/glafp-utils