diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-04-26 17:28:56 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-04-26 17:28:56 +0200 |
| commit | 82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5 (patch) | |
| tree | 8c50e8d74033214e711929c3244e5aca34f9705f /contrib/scripts/check-texinfo.awk.in | |
| parent | 51c0c5072fa27f4964778512a0040c77cce7cd04 (diff) | |
| download | gnunet-82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5.tar.gz gnunet-82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5.zip | |
-fix misc typos
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 ; |