In script to build HTML docs, replace awk pattern with POSIX character class
commit5ecc056e3c0d04757e845822510414717b10dac6
authorRobert Dodier <robert_dodier@users.sourceforge.net>
Sat, 27 May 2023 19:58:25 +0000 (27 12:58 -0700)
committerRobert Dodier <robert_dodier@users.sourceforge.net>
Sat, 27 May 2023 19:58:25 +0000 (27 12:58 -0700)
treefd17e307d56f48b1e9658ef9e774e502963c9fb8
parent4084bae83c02f96946715482fc23b35c6f0c5a00
In script to build HTML docs, replace awk pattern with POSIX character class
with equivalent formulation in terms of egrep and awk without pattern.

There is at least one awk implementation in the wild (mawk) which appears to be a default
on Debian and Ubuntu systems, which does not recognize POSIX character classes.
This commit is an attempt to work around the behavior of mawk.
doc/info/build_html.sh.in