From f80f463439cee38eb964e7f8fde34d4d7d269f91 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 18 Aug 2018 19:22:15 +0100
Subject: [PATCH] tools: make help-*: just grep make rules, case insensitively

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 8330ca7b1..08c396773 100644
--- a/Makefile
+++ b/Makefile
@@ -48,11 +48,11 @@ $(call def-help-heading, )
 
 add-to-help-1: $(call def-help,[help], list documented rules in this makefile )
 
-help-%: $(call def-help,help-SECTION, list documented rules in the given section )
-	make help 2>&1 | sed -n '/$*/,/: $$/p'
+help-%: $(call def-help,help-SECTION, list documented rules containing some string )
+	make help 2>&1 | grep -i $*
 
 %-help: $(call def-help,SECTION-help, same but easier to type (can append "-help" to any "make RULE") )
-	@make help 2>&1 | sed -n '/$*/,/: $$/p'
+	@make help 2>&1 | grep -i $*
 
 add-to-help-2: $(call def-help,RULE -n, show what RULE would do )