summaryrefslogtreecommitdiff
path: root/contrib/scripts/check-texinfo.awk.in
AgeCommit message (Collapse)Author
2021-04-26-fix misc typosChristian Grothoff
2019-12-04check-texinfo: add "the the"ng0
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
remove obsolete code.