• joubu's avatar
    Add a script to ease the move - mappings.pl · 120dfe79
    joubu authored
    This script generate a mapping old anchors <=> new anchors
    
    Then it updates the different headers and links.
    
    Add a reference label is added to headers
    If a link title is the same as the header title, the title is removed
    (to ease maintenance).
    
    Usage: cd en; make clean; cd source; perl ../../mappings.pl *.rst; cd ..; make html;
    120dfe79
mappings.pl 2.01 KB