X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=ad4bc041a93d1b7c2f8e18d21cc0908d481c10a7;hb=b64ab38c23af457a190ae3c8fed752f20fd21ae7;hp=552a27e62f432f0b65861970996954c9dc600e83;hpb=36cef1ea7f7e2dd68063598cdc23c4d1456f38ca;p=ghc-hetmet.git diff --git a/mk/config.mk.in b/mk/config.mk.in index 552a27e..ad4bc04 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -54,12 +54,6 @@ BootingFromUnregisterisedHc = @BootingFromUnregisterisedHc@ NO_INCLUDE_DEPS = NO NO_INCLUDE_PKGDATA = NO -# -# Which ways should DocBook XML documents be built? -# options are: dvi ps pdf html chm HxS -# -XMLDocWays= - # Should we build latex docs? LATEX_DOCS = NO