diff options
| author | Jens Petersen <juhpetersen@gmail.com> | 2022-05-06 18:11:19 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-09 16:25:17 -0400 |
| commit | c7902078617f711a2313e3c04ef4e52fdb0f2f09 (patch) | |
| tree | 633fd0fc3d457019d6f1b1d8bf4273b98d112ab3 /libraries | |
| parent | 1ea414b6555fea246fc3ed772e39f3c2a0ccbba1 (diff) | |
| download | haskell-c7902078617f711a2313e3c04ef4e52fdb0f2f09.tar.gz | |
avoid hadrian/bindist/Makefile install_docs error when --docs=none
When docs are disabled the bindist does not have docs/ and hence docs-utils/ is not generated.
Here we just test that docs-utils exists before attempting to install prologue.txt and gen_contents_index
to avoid the error:
/usr/bin/install: cannot stat 'docs-utils/prologue.txt': No such file or directory
make: *** [Makefile:195: install_docs] Error 1
Diffstat (limited to 'libraries')
0 files changed, 0 insertions, 0 deletions