diff options
| -rw-r--r-- | doc/ChangeLog | 9 | ||||
| -rw-r--r-- | doc/sidebar.awk | 4 |
2 files changed, 10 insertions, 3 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index bf5f47f2..87a1bc97 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,6 +1,13 @@ +2016-02-23 Arnold D. Robbins <arnold@skeeve.com> + + * sidebar.awk: Globally replace [[:space:]] with [ \t] so that + it will work with old versions of mawk (as found, boo!, on many + Debian-based distributions). Thanks to Yehezkel Bernat for + discovering and reporting the issue. + 2016-02-20 Arnold D. Robbins <arnold@skeeve.com> - * gawktexilin (Bracket Expressions): Add a small note about + * gawktexi.in (Bracket Expressions): Add a small note about Unicode in bracket expressions. 2016-02-18 Arnold D. Robbins <arnold@skeeve.com> diff --git a/doc/sidebar.awk b/doc/sidebar.awk index bb381aa3..98296dcb 100644 --- a/doc/sidebar.awk +++ b/doc/sidebar.awk @@ -28,14 +28,14 @@ BEGIN { } /^@sidebar/ { - sub(/^@sidebar[[:space:]]+/, "", $0) + sub(/^@sidebar[ \t]+/, "", $0) title = $0 body = "" collecting = 1 next } -/^@end[[:space:]]+sidebar[[:space:]]*$/ { +/^@end[ \t]+sidebar[ \t]*$/ { collecting = 0 printf "@cindex sidebar, %s\n", title printf "@ifdocbook\n" |