From 00ee3bc1f5703d9f4b9b568f0abee6c5403a8a05 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Wed, 3 Apr 2019 14:48:22 +0200 Subject: fix disting rules --- lint/Makefile.am | 3 +++ 1 file changed, 3 insertions(+) (limited to 'lint/Makefile.am') 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: @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 check-linters: check-bashism check-python check-man check-texinfo + +EXTRA_DIST = \ + checkbashisms.pl.in -- cgit v1.2.3