From 7bb0b3291244286a114e652949a181e31f70364f Mon Sep 17 00:00:00 2001 From: ng0 Date: Wed, 4 Dec 2019 19:18:15 +0000 Subject: [PATCH] check-texinfo: add "the the" --- contrib/scripts/check-texinfo.awk.in | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/contrib/scripts/check-texinfo.awk.in b/contrib/scripts/check-texinfo.awk.in index 37e2c9f20..3d6a1c643 100755 --- 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 ; + } } -- 2.25.1