Skip to content
GitLab
Explore
Sign in
Register
haddock
doc
ghc.mk
Find file
Blame
Permalink
May 14, 2016
26e6b39d
doc: Use `$(MAKE)` instead of `make`
· 26e6b39d
Ben Gamari
authored
May 14, 2016
This is necessary to ensure we use gmake.
26e6b39d
doc: Use `$(MAKE)` instead of `make`
Ben Gamari
authored
May 14, 2016
This is necessary to ensure we use gmake.
Loading