Re-add auxiliary targets to Makefile
Re-add targets to the Makefile that have been (temporarily) removed on the cleanup
branch (which aims to stabilize the new CPM-packaged version of KiCS2). This includes:
- HTML doc generation
- manual generation
- local installation
- test running
- distribution packaging (including tarball generation)
- benchmarking
- debug targets (e.g. for inspecting the current setting of variables)
- bootstrapping (both with a fast 2-stage and a full 3-stage variant)
- Windows support (adding
.exe
/.bat
to executables if needed) - Runtime
Installation.hs
generation
Edited by Fredrik Wieczerkowski