From: ng0 Date: Wed, 4 Dec 2019 19:18:15 +0000 (+0000) Subject: check-texinfo: add "the the" X-Git-Tag: v0.12.0~43 X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=refs%2Fheads%2F0.11;p=oweals%2Fgnunet.git check-texinfo: add "the the" --- 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 ; + } }