summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 @@
#
# exception to add: ignore license files.
# exception to add: uref's can go above 79 chars.
-
+# write functions to avoid more text if possible.
BEGIN {
printf "Running basic texinfo linters\n" ;
@@ -56,4 +56,9 @@ BEGIN {
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 ;
+ }
}