summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.am')
-rw-r--r--Makefile.am2
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:
printf "Running flake8 and 2to3 if detected.\n"
$(top_srcdir)/contrib/scripts/lint/lint-python.sh || true
-# exception to add: ignore license files.
-# exception to add: uref's can go above 79 chars.
check-texinfo:
@cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true