diff options
Diffstat (limited to 'lint')
-rw-r--r-- | lint/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lint/Makefile.am b/lint/Makefile.am index 0de8da54a..f78cdd5f6 100644 --- a/lint/Makefile.am +++ b/lint/Makefile.am | |||
@@ -57,3 +57,6 @@ check-texinfo: | |||
57 | @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 | 57 | @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 |
58 | 58 | ||
59 | check-linters: check-bashism check-python check-man check-texinfo | 59 | check-linters: check-bashism check-python check-man check-texinfo |
60 | |||
61 | EXTRA_DIST = \ | ||
62 | checkbashisms.pl.in | ||