diff options
Diffstat (limited to 'contrib/scripts/check-texinfo.awk.in')
-rwxr-xr-x | contrib/scripts/check-texinfo.awk.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/contrib/scripts/check-texinfo.awk.in b/contrib/scripts/check-texinfo.awk.in index 3d6a1c643..4efa73658 100755 --- a/contrib/scripts/check-texinfo.awk.in +++ b/contrib/scripts/check-texinfo.awk.in | |||
@@ -52,11 +52,6 @@ BEGIN { | |||
52 | } | 52 | } |
53 | 53 | ||
54 | { | 54 | { |
55 | if (/wether/) { | ||
56 | printf "...lines containing a popular typo\n" ; | ||
57 | print FILENAME":"NR":"$0 ; | ||
58 | } | ||
59 | |||
60 | if (/the the/) { | 55 | if (/the the/) { |
61 | printf "...lines containing a popular typo\n" ; | 56 | printf "...lines containing a popular typo\n" ; |
62 | print FILENAME":"NR":"$0 ; | 57 | print FILENAME":"NR":"$0 ; |