diff options
author | ng0 <ng0@n0.is> | 2019-03-04 14:12:43 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-04 14:12:43 +0000 |
commit | 0387ab1e0673c9f1f96a8c52a6c128052b52022c (patch) | |
tree | e5f565bf4a34b5811cac1e5a122b131fa37fb038 /Makefile.am | |
parent | 77b135454da98206cc216b81d1afe57f57a6e1da (diff) | |
download | gnunet-0387ab1e0673c9f1f96a8c52a6c128052b52022c.tar.gz gnunet-0387ab1e0673c9f1f96a8c52a6c128052b52022c.zip |
Add rule to lint man
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 | ||