aboutsummaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-12-04 19:18:15 +0000
committerng0 <ng0@n0.is>2019-12-04 19:18:15 +0000
commit7bb0b3291244286a114e652949a181e31f70364f (patch)
tree4d906325727193e80031aa830ec2238d1dd8d813 /contrib
parent6418d6539659ae1bc372406e06f01b8c50a63098 (diff)
downloadgnunet-7bb0b3291244286a114e652949a181e31f70364f.tar.gz
gnunet-7bb0b3291244286a114e652949a181e31f70364f.zip
check-texinfo: add "the the"
Diffstat (limited to 'contrib')
-rwxr-xr-xcontrib/scripts/check-texinfo.awk.in7
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
10BEGIN { 10BEGIN {
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}