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/sidebar.awk | |
| 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/sidebar.awk')
| -rw-r--r-- | doc/sidebar.awk | 4 |
1 files changed, 2 insertions, 2 deletions
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" |