diff options
| -rw-r--r-- | filters/source/source-highlight-filter.conf | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/filters/source/source-highlight-filter.conf b/filters/source/source-highlight-filter.conf index 8a4d343..2e509aa 100644 --- a/filters/source/source-highlight-filter.conf +++ b/filters/source/source-highlight-filter.conf @@ -47,7 +47,8 @@ endif::basebackend-xhtml11,basebackend-html5[] ifdef::basebackend-docbook[] [source-highlight-block] <formalpara{id? id="{id}"}{role? role="{role}"}{reftext? xreflabel="{reftext}"}><title>{title}</title><para> -<programlisting language="{language}" linenumbering="{src_numbered=unnumbered}"{args? {args}}> +{title#}<programlisting language="{language}" linenumbering="{src_numbered=unnumbered}"{args? {args}}> +{title%}<programlisting language="{language}"{role? role="{role}"} linenumbering="{src_numbered=unnumbered}"{args? {args}}> | </programlisting> {title#}</para></formalpara> |