X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=ad4bc041a93d1b7c2f8e18d21cc0908d481c10a7;hb=b64ab38c23af457a190ae3c8fed752f20fd21ae7;hp=e7cc04d8a08bd110b69c2dad82fc9faafa6f5c24;hpb=6a37d4e7052894a134c9e7d7092d48d882639d3b;p=ghc-hetmet.git diff --git a/mk/config.mk.in b/mk/config.mk.in index e7cc04d..ad4bc04 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -51,11 +51,8 @@ BootingFromHc = @BootingFromHc@ # rather than registerised code, i.e., disable the mangler? BootingFromUnregisterisedHc = @BootingFromUnregisterisedHc@ -# -# Which ways should DocBook XML documents be built? -# options are: dvi ps pdf html chm HxS -# -XMLDocWays= +NO_INCLUDE_DEPS = NO +NO_INCLUDE_PKGDATA = NO # Should we build latex docs? LATEX_DOCS = NO @@ -889,12 +886,12 @@ 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@ -FOP = @FopCmd@ -XMLTEX = @XmltexCmd@ -PDFXMLTEX = @PdfxmltexCmd@ -DVIPS = @DvipsCmd@ DIR_DOCBOOK_XSL = @DIR_DOCBOOK_XSL@