Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template

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

Edited Jan 31, 2020 by Jens Petersen

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information