From: Eric Blake <eblake@redhat.com>
Date: Wed, 11 May 2011 14:22:18 +0000 (-0600)
Subject: maint.mk: drop redundant check
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d1b8dbea0218acb198b4beb4ad788b556cde702;p=pspp

maint.mk: drop redundant check

* top/maint.mk (sc_the_the): Delete; sc_prohibit_doubled_word does
the same but better.

Signed-off-by: Eric Blake <eblake@redhat.com>
---

diff --git a/ChangeLog b/ChangeLog
index c7dec5eef1..e26d257107 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2011-05-11  Eric Blake  <eblake@redhat.com>
+
+	maint.mk: drop redundant check
+	* top/maint.mk (sc_the_the): Delete; sc_prohibit_doubled_word does
+	the same but better.
+
 2011-05-11  Bruno Haible  <bruno@clisp.org>
 
 	fclose: Fix possible link error.
diff --git a/top/maint.mk b/top/maint.mk
index 4088a79131..0f097d1235 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -646,12 +646,6 @@ sc_require_test_exit_idiom:
 	      exit 1; } || :;						\
 	fi
 
-sc_the_the:
-	@prohibit='\<the ''the\>'					\
-	ignore_case=1							\
-	halt='found use of "the ''the";'				\
-	  $(_sc_search_regexp)
-
 sc_trailing_blank:
 	@prohibit='[	 ]$$'						\
 	halt='found trailing blank(s)'					\