summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-11-21 19:36:16 +0000
committerng0 <ng0@n0.is>2019-11-21 19:36:16 +0000
commit71420fa7be33130ab4896d6a492248f5612d02c1 (patch)
tree8dc75c4629590e3882dbfd1bbd975b153c3ef64d /Makefile.am
parent03a358ed1cbd4acae23d7410df15bc7b1b78650e (diff)
extend lint
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am2
1 files changed, 2 insertions, 0 deletions
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