aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-12-01 23:22:26 +0000
committerng0 <ng0@n0.is>2019-12-01 23:22:26 +0000
commitdf0af6b7067e6a4ad0a88f2775da28cfc159ee66 (patch)
treee89c584904c80e61e50a262d4e6cab4141e722e7
parentd9132e1cba66b5455a627251f377cd95eb008fc1 (diff)
downloadgnunet-df0af6b7067e6a4ad0a88f2775da28cfc159ee66.tar.gz
gnunet-df0af6b7067e6a4ad0a88f2775da28cfc159ee66.zip
check-texinfo.awk: move comments to the moved code.
-rw-r--r--Makefile.am2
-rwxr-xr-xcontrib/scripts/check-texinfo.awk.in6
2 files changed, 5 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am
index aea6c2f6c..edcd28b92 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -70,7 +70,5 @@ check-python:
70 printf "Running flake8 and 2to3 if detected.\n" 70 printf "Running flake8 and 2to3 if detected.\n"
71 $(top_srcdir)/contrib/scripts/lint/lint-python.sh || true 71 $(top_srcdir)/contrib/scripts/lint/lint-python.sh || true
72 72
73# exception to add: ignore license files.
74# exception to add: uref's can go above 79 chars.
75check-texinfo: 73check-texinfo:
76 @cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true 74 @cd $(top_srcdir); find . -type f ! -path '*/.*' -name '*.texi' -print0 | xargs -0 ./contrib/scripts/check-texinfo.awk > $(srcdir)/texinfo_lint.log || true
diff --git a/contrib/scripts/check-texinfo.awk.in b/contrib/scripts/check-texinfo.awk.in
index 12f71b5d2..37e2c9f20 100755
--- a/contrib/scripts/check-texinfo.awk.in
+++ b/contrib/scripts/check-texinfo.awk.in
@@ -1,7 +1,11 @@
1#!@AWKEXE@ -f 1#!@AWKEXE@ -f
2 2#
3# Dedicated to the Public Domain. 3# Dedicated to the Public Domain.
4# SPDX-License-Identifier: 0BSD 4# SPDX-License-Identifier: 0BSD
5#
6# exception to add: ignore license files.
7# exception to add: uref's can go above 79 chars.
8
5 9
6BEGIN { 10BEGIN {
7 printf "Running basic texinfo linters\n" ; 11 printf "Running basic texinfo linters\n" ;