From 384c555f997baa9ee5691222a3aafb2eca9f6d1d Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sun, 3 Feb 2019 17:01:57 -0800 Subject: [PATCH] make, shake: refer to each other's help [ci skip] --- Makefile | 3 ++- Shake.hs | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f153f767f..ecd0528cc 100644 --- a/Makefile +++ b/Makefile @@ -988,4 +988,5 @@ Clean: stackclean cabalclean cleanghc cleantags clean-manpages \ -include local.mk -#$(call def-help-heading,------------------) +$(call def-help-heading,) +$(call def-help-heading,See also ./Shake help (after make Shake)) diff --git a/Shake.hs b/Shake.hs index a391d5f05..e002c7adc 100755 --- a/Shake.hs +++ b/Shake.hs @@ -76,6 +76,8 @@ usage = unlines ,"./Shake Clean also clean rendered site, object files, Shake's cache" ,"./Shake [help] show these commands" ,"./Shake --help show Shake options (--color, --rebuild, ...)" + ,"" + ,"See also: make help" ] groff = "groff"