diff options
author | ng0 <ng0@n0.is> | 2019-03-09 12:28:28 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-03-09 12:28:28 +0000 |
commit | 5ffc8cb3dd59bb3f12b26413f22d00fc607d04ef (patch) | |
tree | 6e681972e933241efa59c51cf4f05c52da97093c /lint | |
parent | d8da8d58a4354a687445e0d6e7b718840151d73f (diff) | |
download | gnunet-5ffc8cb3dd59bb3f12b26413f22d00fc607d04ef.tar.gz gnunet-5ffc8cb3dd59bb3f12b26413f22d00fc607d04ef.zip |
fix.
Diffstat (limited to 'lint')
-rw-r--r-- | lint/Makefile.am | 2 |
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 | ||
14 | check-man: | 14 | check-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. |