diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2016-02-23 09:09:31 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2016-02-23 09:09:31 +0200 |
| commit | 4234baf9fd0f9ca5df3c0c7c99872c58ab76c926 (patch) | |
| tree | d797b9abbf58963935c05ca7072810471998fccb /doc | |
| parent | ee3caa0afe0d814d460f277af2bdbfdebc133b63 (diff) | |
| parent | 2c80dd388594fa37ce4c3c79b590819420b8f120 (diff) | |
| download | egawk-4234baf9fd0f9ca5df3c0c7c99872c58ab76c926.tar.gz egawk-4234baf9fd0f9ca5df3c0c7c99872c58ab76c926.tar.bz2 egawk-4234baf9fd0f9ca5df3c0c7c99872c58ab76c926.zip | |
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'doc')
| -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 a8c33d4d..70cf277c 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" |