diff options
| -rw-r--r-- | Makefile | 3 | ||||
| -rw-r--r-- | compiler/Makefile | 5 |
2 files changed, 8 insertions, 0 deletions
@@ -148,6 +148,9 @@ stage1 : $(GCC_LIB_DEP) check-all stage2 : check-all $(MAKE) -C compiler stage=2 boot $(MAKE) -C compiler stage=2 +ifeq "$(HADDOCK_DOCS)" "YES" + $(MAKE) -C compiler stage=2 doc +endif $(MAKE) -C ghc stage=2 boot $(MAKE) -C ghc stage=2 diff --git a/compiler/Makefile b/compiler/Makefile index 129adfc4d5..60663852ff 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -44,6 +44,8 @@ boot:: boot.stage.$(stage) all:: build.stage.$(stage) +doc:: doc.stage.$(stage) + stage1 :: $(MAKE) stage=1 @@ -175,6 +177,9 @@ build.stage.%: $(MAKE) -f Makefile-stage$* stage=$* $(CABAL) register --distpref dist-stage$* --inplace +doc.stage.%: + $(CABAL) haddock --distpref dist-stage$* + # XXX We ought to actually install the (stage 2) library install: @: |