diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index aea6c2f6c..edcd28b92 100644 --- a/Makefile.am +++ b/Makefile.am | |||
@@ -70,7 +70,5 @@ check-python: | |||
70 | printf "Running flake8 and 2to3 if detected.\n" | 70 | printf "Running flake8 and 2to3 if detected.\n" |
71 | $(top_srcdir)/contrib/scripts/lint/lint-python.sh || true | 71 | $(top_srcdir)/contrib/scripts/lint/lint-python.sh || true |
72 | 72 | ||
73 | # exception to add: ignore license files. | ||
74 | # exception to add: uref's can go above 79 chars. | ||
75 | check-texinfo: | 73 | check-texinfo: |
76 | @cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true | 74 | @cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true |