From 71420fa7be33130ab4896d6a492248f5612d02c1 Mon Sep 17 00:00:00 2001 From: ng0 Date: Thu, 21 Nov 2019 19:36:16 +0000 Subject: [PATCH] extend lint --- Makefile.am | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile.am b/Makefile.am index 13a58bb0a..b9538134c 100644 --- 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 -- 2.25.1