diff options
Diffstat (limited to 'docs/man')
| -rw-r--r-- | docs/man/ghc.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/man/ghc.mk b/docs/man/ghc.mk index 5407397817..6775c55870 100644 --- a/docs/man/ghc.mk +++ b/docs/man/ghc.mk @@ -39,7 +39,9 @@ docs/man/flags.xml: docs/users_guide/flags.xml sed 1d $< >> $@ ifeq "$(BUILD_MAN)" "YES" +ifeq "$(phase)" "" $(eval $(call all-target,docs/man,$(MAN_PATH))) +endif INSTALL_MANPAGES += $(MAN_PATH) |