From 3b3ae54a39ab5df878d29f1f4d333ae36fe335d2 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 24 Jun 2017 13:53:47 +0200
Subject: [PATCH] Makefile: split 'make haddock' from 'make full'.

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 470c87793..3ce2f4630 100644
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,8 @@ quick:
 
 full:
 	stack install --flag 'pandoc:embed_data_files' --flag 'pandoc:weigh-pandoc' --flag 'pandoc:trypandoc' --bench --no-run-benchmarks --test --test-arguments='-j4 --hide-successes' --ghc-options '-Wall -Werror -fno-warn-unused-do-bind -O0 -j4'
+
+haddock:
 	stack haddock
 
 # Note:  to accept current results of golden tests,
@@ -65,4 +67,4 @@ download_stats:
 clean:
 	stack clean
 
-.PHONY: deps quick full install clean test bench changes_github macospkg dist prof download_stats reformat lint weigh
+.PHONY: deps quick full haddock install clean test bench changes_github macospkg dist prof download_stats reformat lint weigh