summaryrefslogtreecommitdiff
path: root/INSTALL.md
Commit message (Expand)AuthorAgeFilesLines
* Update `$(TOP)/*.md` documentsTakenobu Tani2019-05-311-5/+5
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Fix some broken links (#15733)Fangyi Zhou2018-10-251-1/+1
* Rewrite boot in PythonBen Gamari2017-10-021-4/+4
* Revert "Rewrite boot in Python"Ben Gamari2017-05-261-4/+4
* Rewrite boot in PythonBen Gamari2017-05-221-4/+4
* INSTALL.md: Mention -j and other wibblesBen Gamari2016-01-141-3/+6
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-2/+2
* Make configure error out on missing ghc-tarballs on WindowsTamar Christina2015-07-301-0/+5
* docs: add INSTALL.md to root dir (#9926)Austin Seipp2015-02-231-0/+40