Skip to content
Snippets Groups Projects
Commit 26e6b39d authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

doc: Use `$(MAKE)` instead of `make` 

This is necessary to ensure we use gmake.
parent 2904561d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
CHANGES
+ 1
− 1
View file @ 26e6b39d
Changes in version 2.17.2 Changes in version 2.17.2
* TODO * Fix portability of documentation building within GHC
Changes in version 2.17.1 Changes in version 2.17.1
......
doc/ghc.mk
+ 1
− 1
View file @ 26e6b39d
...@@ -19,6 +19,6 @@ INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock ...@@ -19,6 +19,6 @@ INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock
endif endif
html_utils/haddock/doc : html_utils/haddock/doc :
make -C utils/haddock/doc html SPHINX_BUILD=$(SPHINXBUILD) $(MAKE) -C utils/haddock/doc html SPHINX_BUILD=$(SPHINXBUILD)
cp -R utils/haddock/doc/.build-html utils/haddock/doc/haddock cp -R utils/haddock/doc/.build-html utils/haddock/doc/haddock
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment