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) | |
download | gnunet-7bb0b3291244286a114e652949a181e31f70364f.tar.gz gnunet-7bb0b3291244286a114e652949a181e31f70364f.zip |
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 @@ | |||
5 | # | 5 | # |
6 | # exception to add: ignore license files. | 6 | # exception to add: ignore license files. |
7 | # exception to add: uref's can go above 79 chars. | 7 | # exception to add: uref's can go above 79 chars. |
8 | 8 | # write functions to avoid more text if possible. | |
9 | 9 | ||
10 | BEGIN { | 10 | BEGIN { |
11 | printf "Running basic texinfo linters\n" ; | 11 | printf "Running basic texinfo linters\n" ; |
@@ -56,4 +56,9 @@ BEGIN { | |||
56 | printf "...lines containing a popular typo\n" ; | 56 | printf "...lines containing a popular typo\n" ; |
57 | print FILENAME":"NR":"$0 ; | 57 | print FILENAME":"NR":"$0 ; |
58 | } | 58 | } |
59 | |||
60 | if (/the the/) { | ||
61 | printf "...lines containing a popular typo\n" ; | ||
62 | print FILENAME":"NR":"$0 ; | ||
63 | } | ||
59 | } | 64 | } |