diff options
Diffstat (limited to 'mk/flavours/perf-cross.mk')
-rw-r--r-- | mk/flavours/perf-cross.mk | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/mk/flavours/perf-cross.mk b/mk/flavours/perf-cross.mk index 0dd9c33cfe..9540f8c504 100644 --- a/mk/flavours/perf-cross.mk +++ b/mk/flavours/perf-cross.mk @@ -5,9 +5,10 @@ GhcLibHcOpts = -O2 -fllvm BUILD_PROF_LIBS = YES #SplitObjs 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 +BUILD_MAN = NO INTEGER_LIBRARY = integer-simple Stage1Only = YES |