aboutsummaryrefslogtreecommitdiff
path: root/doc/ghc.mk
Commit message (Collapse)AuthorAgeFilesLines
* doc: Use `$(MAKE)` instead of `make`Ben Gamari2016-05-141-1/+1
| | | | This is necessary to ensure we use gmake.
* doc: Fix GHC clean ruleBen Gamari2016-05-121-1/+1
| | | | Apparently GHC's build system doesn't permit wildcards in clean paths.
* doc: Add html as an all-target for ghcBen Gamari2016-05-111-2/+2
| | | | Otherwise the html documentation won't be installed for binary-dist.
* doc: Add clean targetsBen Gamari2016-05-111-0/+2
|
* doc: At long last fix ghc.mkBen Gamari2016-05-011-2/+2
| | | | | | | The variable reference was incorrectly escaped, meaning that Sphinx documentation was never installed. (cherry picked from commit 609018dd09c4ffe27f9248b2d8b50f6196cd42b9)
* doc: Only install if BUILD_SPHINX_HTML==YESBen Gamari2016-04-101-0/+2
| | | | | | Fixes GHC #11818. (cherry picked from commit c6d6a18d85e5e2d9bb5904e6919e8a8d7e31c4c5)
* doc: Switch to SphinxBen Gamari2016-02-081-2/+7
|
* add build instructions for GHCSimon Marlow2009-05-131-0/+15