diff options
author | Ben Gamari <ben@smart-cactus.org> | 2015-10-01 01:08:41 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2015-10-03 09:44:48 +0200 |
commit | 4fd6207ec6960c429e6a1bcbe0282f625010f52a (patch) | |
tree | 26e1f43199fbde80f26225f7409b5c00ce8792a9 /mk/flavours/devel1.mk | |
parent | 9ed700bb4128b1cbf59d99d725c44d7a0bfb1de6 (diff) | |
download | haskell-4fd6207ec6960c429e6a1bcbe0282f625010f52a.tar.gz |
Move user's guide to ReStructuredText
Diffstat (limited to 'mk/flavours/devel1.mk')
-rw-r--r-- | mk/flavours/devel1.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mk/flavours/devel1.mk b/mk/flavours/devel1.mk index b06b64f72d..6b69adf8f9 100644 --- a/mk/flavours/devel1.mk +++ b/mk/flavours/devel1.mk @@ -5,8 +5,8 @@ GhcLibHcOpts = -O -dcore-lint BUILD_PROF_LIBS = NO SplitObjs = NO HADDOCK_DOCS = NO -BUILD_DOCBOOK_HTML = NO -BUILD_DOCBOOK_PS = NO -BUILD_DOCBOOK_PDF = NO +BUILD_SPHINX_HTML = NO +BUILD_SPHINX_PS = NO +BUILD_SPHINX_PDF = NO LAX_DEPENDENCIES = YES |