diff options
Diffstat (limited to 'compiler/Makefile')
| -rw-r--r-- | compiler/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
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: @: |