summaryrefslogtreecommitdiff
path: root/contrib/scripts/check-texinfo.awk.in
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2021-04-26 17:28:56 +0200
committerChristian Grothoff <christian@grothoff.org>2021-04-26 17:28:56 +0200
commit82a5d35360c4c882d9a5f92c4ac27c61bd4a4cc5 (patch)
tree8c50e8d74033214e711929c3244e5aca34f9705f /contrib/scripts/check-texinfo.awk.in
parent51c0c5072fa27f4964778512a0040c77cce7cd04 (diff)
-fix misc typos
Diffstat (limited to 'contrib/scripts/check-texinfo.awk.in')
-rwxr-xr-xcontrib/scripts/check-texinfo.awk.in5
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 {
}
{
- if (/wether/) {
- 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 ;