From e7df05cd294f1b2f4bb4c00cc390c1a71f850c05 Mon Sep 17 00:00:00 2001
From: Raphaël Hertzog <hertzog@debian.org>
Date: Fri, 24 Apr 2020 16:39:10 +0200
Subject: Replace "Help" calls with "Man" and get rid of Help

---
 scripts/build/clean  | 2 +-
 scripts/build/config | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'scripts')

diff --git a/scripts/build/clean b/scripts/build/clean
index 616897996..dc9aa1291 100755
--- a/scripts/build/clean
+++ b/scripts/build/clean
@@ -140,7 +140,7 @@ do
 			;;
 
 		-h|--help)
-			Help
+			Man
 			;;
 
 		-u|--usage)
diff --git a/scripts/build/config b/scripts/build/config
index a0286505a..b94332b37 100755
--- a/scripts/build/config
+++ b/scripts/build/config
@@ -276,7 +276,7 @@ Local_arguments ()
 				;;
 
 			-h|--help)
-				Help
+				Man
 				shift
 				;;
 
-- 
cgit v1.2.3