From 465e8cbc5107a2e2b8e82e73701fec01bad456d2 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 4 Sep 2020 17:08:32 -0700
Subject: [PATCH] ;make: update help

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4f1a9a5a9..b73abf68d 100644
--- a/Makefile
+++ b/Makefile
@@ -1067,4 +1067,4 @@ Clean: stackclean cleanghco cleantags \
 
 # show a final message in make help
 $(call def-help-heading,)
-$(call def-help-heading,See also ./Shake help   (after make Shake))
+$(call def-help-heading,See also ./Shake.hs help)