Hadrian: fix binary-dir with --docs=none
authorSylvain Henry <sylvain@haskus.fr>
Tue, 9 Apr 2019 14:16:47 +0000 (16:16 +0200)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Thu, 11 Apr 2019 23:51:24 +0000 (19:51 -0400)
commitc401f8a487ce6762476b113ad9f0d32960a3e152
tree45337484b5fc075f3cbb84a06660023f4094a415
parent42504f4a575395a35eec5c3fd7c9ef6e2b54e68e
Hadrian: fix binary-dir with --docs=none

Hadrian's "binary-dist" target must check that the "docs" directory
exists (it may not since we can disable docs generation).
hadrian/src/Rules/BinaryDist.hs