convert texinfo checks to proper awk script, add detection for awk/gawk,
authorng0 <ng0@n0.is>
Sun, 1 Dec 2019 23:19:58 +0000 (23:19 +0000)
committerng0 <ng0@n0.is>
Sun, 1 Dec 2019 23:19:58 +0000 (23:19 +0000)
commitd9132e1cba66b5455a627251f377cd95eb008fc1
treed826c9e7793e6c0161d40bc56b577448f22c653c
parent93330d9c6d8d5c599a2f12d641c5029aab91d3ad
convert texinfo checks to proper awk script, add detection for awk/gawk,
remove obsolete code.
Makefile.am
configure.ac
contrib/scripts/.gitignore
contrib/scripts/Makefile.am
contrib/scripts/check-texinfo.awk.in [new file with mode: 0755]