diff options
Diffstat (limited to 'mk/flavours/bench.mk')
| -rw-r--r-- | mk/flavours/bench.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/flavours/bench.mk b/mk/flavours/bench.mk index edf73f4270..1368c47f04 100644 --- a/mk/flavours/bench.mk +++ b/mk/flavours/bench.mk @@ -8,3 +8,4 @@ HADDOCK_DOCS = NO BUILD_SPHINX_HTML = NO BUILD_SPHINX_PS = NO BUILD_SPHINX_PDF = NO +BUILD_MAN = NO |