From 2904561d536908ab4d056cff41d707a88e21556c Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Thu, 12 May 2016 09:49:38 +0200 Subject: Version bump to 2.17.2 --- CHANGES | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index f27d151c..3875c3a2 100644 --- a/CHANGES +++ b/CHANGES @@ -1,3 +1,7 @@ +Changes in version 2.17.2 + + * TODO + Changes in version 2.17.1 * Included with GHC 8.0.1 -- cgit v1.2.3 From 26e6b39de3213969d7de7f8bb3d4a849136866d1 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Sat, 14 May 2016 09:52:25 +0200 Subject: doc: Use `$(MAKE)` instead of `make` This is necessary to ensure we use gmake. --- CHANGES | 2 +- doc/ghc.mk | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 3875c3a2..d450cff5 100644 --- a/CHANGES +++ b/CHANGES @@ -1,6 +1,6 @@ Changes in version 2.17.2 - * TODO + * Fix portability of documentation building within GHC Changes in version 2.17.1 diff --git a/doc/ghc.mk b/doc/ghc.mk index 3e53168e..afa3f078 100644 --- a/doc/ghc.mk +++ b/doc/ghc.mk @@ -19,6 +19,6 @@ INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock endif 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 -- cgit v1.2.3