check-texinfo: add "the the"

diff --git a/contrib/scripts/check-texinfo.awk.in b/contrib/scripts/check-texinfo.awk.in
index 37e2c9f2021bc26e055ea32a6e11e0d0a3796c31..3d6a1c6436e145c013a8e23e9d85a7727ccb22f4 100755 (executable)
--- a/contrib/scripts/check-texinfo.awk.in
+++ b/contrib/scripts/check-texinfo.awk.in
@@ -5,7 +5,7 @@
 #
 # exception to add: ignore license files.
 # exception to add: uref's can go above 79 chars.
-
+# write functions to avoid more text if possible.
 
 BEGIN {
   printf "Running basic texinfo linters\n" ;
@@ -56,4 +56,9 @@ BEGIN {
     printf "...lines containing a popular typo\n" ;
     print FILENAME":"NR":"$0 ;
   }
+
+  if (/the the/) {
+    printf "...lines containing a popular typo\n" ;
+    print FILENAME":"NR":"$0 ;
+  }
 }