Hadrian 'install' requires built docs (regression in comparison with make build system)
Summary
It looks like hadrian/build install requires docs to be built. Old make build system is not that strict and allows to execute make install even without documentation built.
Expected behavior
This really depends GHC developers, I'm submitting this just for the record.
Environment
8.10.1 as a bootstrap GHC. Building GHC head as of Oct 1 2020.
Optional:
- Operating System: Ubuntu 18.04 LTS
- System Architecture: AMD64