diff options
author | ng0 <ng0@n0.is> | 2019-12-04 19:18:15 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-12-04 19:18:15 +0000 |
commit | 7bb0b3291244286a114e652949a181e31f70364f (patch) | |
tree | 4d906325727193e80031aa830ec2238d1dd8d813 /contrib | |
parent | 6418d6539659ae1bc372406e06f01b8c50a63098 (diff) |
check-texinfo: add "the the"
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/scripts/check-texinfo.awk.in | 7 |
1 files changed, 6 insertions, 1 deletions
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 ; + } } |