aboutsummaryrefslogtreecommitdiff
path: root/lint
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-03-09 12:28:28 +0000
committerng0 <ng0@n0.is>2019-03-09 12:28:28 +0000
commit5ffc8cb3dd59bb3f12b26413f22d00fc607d04ef (patch)
tree6e681972e933241efa59c51cf4f05c52da97093c /lint
parentd8da8d58a4354a687445e0d6e7b718840151d73f (diff)
downloadgnunet-5ffc8cb3dd59bb3f12b26413f22d00fc607d04ef.tar.gz
gnunet-5ffc8cb3dd59bb3f12b26413f22d00fc607d04ef.zip
fix.
Diffstat (limited to 'lint')
-rw-r--r--lint/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/lint/Makefile.am b/lint/Makefile.am
index abbc40630..6f2f22abc 100644
--- a/lint/Makefile.am
+++ b/lint/Makefile.am
@@ -13,7 +13,7 @@ check-python:
13 13
14check-man: 14check-man:
15 printf "Running lint-man.sh in doc/man.\n" 15 printf "Running lint-man.sh in doc/man.\n"
16 @cd $(top_srcdir)/doc/man ; $(top_srcdir)/../../contrib/scripts/lint-man.sh || true 16 @cd $(top_srcdir)/doc/man ; ../../contrib/scripts/lint-man.sh || true
17 17
18# exception to add: ignore license files. 18# exception to add: ignore license files.
19# exception to add: uref's can go above 79 chars. 19# exception to add: uref's can go above 79 chars.