extend lint

diff --git a/Makefile.am b/Makefile.am
index 13a58bb0ada1037de56f887fa109a0a8890e448d..b9538134cd863a682373b460e2accc8348564509 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -96,3 +96,5 @@ check-texinfo:
        printf "...lines telling us what is left TODO or to fix?\n" 2>&1 | tee -a $(top_srcdir)/doc/tutorial/texinfo_tutorial.log || true
        @cd $(top_srcdir)/doc/tutorial ; find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 awk '/TODO/ {print FILENAME":"NR":"$$0}' >> $(srcdir)/texinfo_tutorial.log || true
        @cd $(top_srcdir)/doc/tutorial ; find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 awk '/XXX/ {print FILENAME":"NR":"$$0}' >> $(srcdir)/texinfo_tutorial.log || true
+       printf "...lines containing a popular typo\n" 2>&1 | tee -a $(top_srcdir)/lint.log || true
+       @cd $(top_srcdir) ; find . -type f ! -path '*/.*' -name '*' -print0 | xargs -0 awk '/wether/ {print FILENAME":"NR":"$$0}' >> $(srcdir)/lint.log || true