Improve Shake support
commita89b7c27e0b39903225d1c30f00550e6918996c7
authorTuncer Ayaz <tuncer.ayaz@gmail.com>
Thu, 31 Dec 2015 13:31:01 +0000 (31 14:31 +0100)
committerTuncer Ayaz <tuncer.ayaz@gmail.com>
Thu, 31 Dec 2015 13:34:05 +0000 (31 14:34 +0100)
tree8b7d3d5964cd2847487c8a2ff65028de46ebaa07
parentfced0f3968f817bd03392c7eb9a4cf35b7de17f3
Improve Shake support

1. Rename Build.hs to Shakefile.sh, so that shake (the executable)
   picks it up.

2. There's no need for misc/build.sh anymore. Delete it.
Shakefile.hs [moved from Build.hs with 100% similarity]
misc/build.sh [deleted file]