8.10.1 RC1: containers documentation gets installed with HADDOCK_DOCS=NO
Summary
Build ghc-8.10.1 RC1 with HADDOCK_DOCS=NO
(in build.mk).
Steps to reproduce
My build.mk
containers
HADDOCK_DOCS = NO
BUILD_MAN = NO
BUILD_SPHINX_HTML = NO
BUILD_SPHINX_PDF = NO
make install
leads to the documentation for the containers-0.6.2.1 library being installed.
Expected behavior
No haddocks to be installed.
Environment
- GHC version used: ghc-8.10.0.20200123
Optional:
- Operating System: Fedora (Linux)
- System Architecture: x86_64