diff options
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" |