diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index daa2946a7..3c1d8c8fc 100644 --- a/Makefile.am +++ b/Makefile.am | |||
| @@ -42,3 +42,5 @@ check-python: | |||
| 42 | check-man: | 42 | check-man: |
| 43 | printf "Running lint-man.sh in doc/man.\n" | 43 | printf "Running lint-man.sh in doc/man.\n" |
| 44 | @cd $(top_srcdir)/doc/man ; $(top_srcdir)/../../contrib/scripts/lint-man.sh || true | 44 | @cd $(top_srcdir)/doc/man ; $(top_srcdir)/../../contrib/scripts/lint-man.sh || true |
| 45 | |||
| 46 | check-linters: check-bashism check-python check-man | ||