check-texinfo.awk: move comments to the moved code.
authorng0 <ng0@n0.is>
Sun, 1 Dec 2019 23:22:26 +0000 (23:22 +0000)
committerng0 <ng0@n0.is>
Sun, 1 Dec 2019 23:22:26 +0000 (23:22 +0000)
commitdf0af6b7067e6a4ad0a88f2775da28cfc159ee66
treee89c584904c80e61e50a262d4e6cab4141e722e7
parentd9132e1cba66b5455a627251f377cd95eb008fc1
check-texinfo.awk: move comments to the moved code.
Makefile.am
contrib/scripts/check-texinfo.awk.in