summaryrefslogtreecommitdiff
path: root/contrib/scripts/check-texinfo.awk.in
AgeCommit message (Expand)Author
2019-12-01check-texinfo.awk: move comments to the moved code.ng0
2019-12-01convert texinfo checks to proper awk script, add detection for awk/gawk,ng0