diff options
Diffstat (limited to 'ghc/Makefile')
| -rw-r--r-- | ghc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ghc/Makefile b/ghc/Makefile index 4735e3b9fd..4d6a7d0ec0 100644 --- a/ghc/Makefile +++ b/ghc/Makefile @@ -127,6 +127,9 @@ install: --distpref dist-stage2 \ $(INSTALL_FLAGS) +html: + @: + install-docs: @: |