Avoid running commands with the Shell option, which breaks due to spaces in paths
authorAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 16 Sep 2017 23:41:12 +0000 (00:41 +0100)
committerAndrey Mokhov <andrey.mokhov@gmail.com>
Sat, 16 Sep 2017 23:41:12 +0000 (00:41 +0100)
commitf479c5d51dfee88abaad7dc3aeb19ea518948a19
tree02d864ec2536da135cb5a12e2f5e6e655d322d6e
parent97fa508d5ff8ebabee6623fbc3d89cc8ee953f2d
Avoid running commands with the Shell option, which breaks due to spaces in paths

* Fixes the docs build rule on Windows

See #414
src/Builder.hs