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 ;