diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 41d366b93..a5e36545a 100644 --- a/Makefile.am +++ b/Makefile.am | |||
@@ -38,3 +38,7 @@ check-bashism: | |||
38 | check-python: | 38 | check-python: |
39 | printf "Running flake8 and 2to3 if detected.\n" | 39 | printf "Running flake8 and 2to3 if detected.\n" |
40 | $(top_srcdir)/contrib/scripts/lint-python.sh | 40 | $(top_srcdir)/contrib/scripts/lint-python.sh |
41 | |||
42 | check-man: | ||
43 | printf "Running lint-man.sh in doc/man.\n" | ||
44 | @cd $(top_srcdir)/doc/man ; $(top_srcdir)/../../contrib/scripts/lint-man.sh || true | ||