Changes between Version 9 and Version 10 of Ticket #33725


Ignore:
Timestamp:
Apr 22, 2022, 12:08:42 AM (7 months ago)
Author:
Matthias Köppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #33725 – Description

    v9 v10  
    88- Replace `<<TableOfContents>>` by `[[PageOutline]]`
    99
    10 Wanted: a script that helps with this
     10A command that helps with this:
     11{{{
     12sed 's/<<TableOfContents>>/[[PageOutline]]/;' INPUT > OUTPUT
     13}}}
    1114
    1215Related content migration tickets: