diff options
author | ng0 <ng0@n0.is> | 2019-12-01 23:22:26 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-12-01 23:22:26 +0000 |
commit | df0af6b7067e6a4ad0a88f2775da28cfc159ee66 (patch) | |
tree | e89c584904c80e61e50a262d4e6cab4141e722e7 /contrib | |
parent | d9132e1cba66b5455a627251f377cd95eb008fc1 (diff) |
check-texinfo.awk: move comments to the moved code.
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/scripts/check-texinfo.awk.in | 6 |
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 @@ #!@AWKEXE@ -f - +# # Dedicated to the Public Domain. # SPDX-License-Identifier: 0BSD +# +# exception to add: ignore license files. +# exception to add: uref's can go above 79 chars. + BEGIN { printf "Running basic texinfo linters\n" ; |