diff options
Diffstat (limited to 'org/output_xmls.org')
| -rw-r--r-- | org/output_xmls.org | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org/output_xmls.org b/org/output_xmls.org index e994647..942897e 100644 --- a/org/output_xmls.org +++ b/org/output_xmls.org @@ -1005,6 +1005,9 @@ string para_scroll(O,M)( M doc_matters, string _suffix = ".html", ) { + if (obj.metainfo.is_a == "toc" && _txt.match(rgx.inline_link_toc_to_backmatter)) { + _txt = _txt.replaceAll(rgx.inline_link_toc_to_backmatter, "┤#section_$1├"); + } _txt = inline_markup_scroll(_txt, obj, doc_matters, _suffix); string o = para(_txt, obj, doc_matters); return o; |