diff options
author | Ian Lynagh <igloo@earth.li> | 2011-02-07 14:20:46 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2011-02-07 14:20:46 +0000 |
commit | 6f573eb5dedb0625d1df9a6fdf9839bcaa9cba8e (patch) | |
tree | 0e231893525f4db5d4672044fdfdb650722ccfb5 /docs/man | |
parent | c21f0768fcaa95720e22ed5d7814b398645f6c17 (diff) | |
download | haskell-6f573eb5dedb0625d1df9a6fdf9839bcaa9cba8e.tar.gz |
Call the final build system phase "final" rather than ""
Diffstat (limited to 'docs/man')
-rw-r--r-- | docs/man/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/man/ghc.mk b/docs/man/ghc.mk index 6775c55870..96fef2dbf6 100644 --- a/docs/man/ghc.mk +++ b/docs/man/ghc.mk @@ -39,7 +39,7 @@ docs/man/flags.xml: docs/users_guide/flags.xml sed 1d $< >> $@ ifeq "$(BUILD_MAN)" "YES" -ifeq "$(phase)" "" +ifeq "$(phase)" "final" $(eval $(call all-target,docs/man,$(MAN_PATH))) endif |