aboutsummaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
Diffstat (limited to 'contrib')
-rwxr-xr-xcontrib/scripts/check-texinfo.awk.in6
1 files changed, 5 insertions, 1 deletions
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" ;