From: Simon Marlow Date: Fri, 15 May 2009 09:44:52 +0000 (+0000) Subject: remove XmlDocWays relic X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=b64ab38c23af457a190ae3c8fed752f20fd21ae7 remove XmlDocWays relic --- 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