doc-src/isac/jrocnik/fixbookmarks.pl
branchdecompose-isar
changeset 42293 b24574463e1a
equal deleted inserted replaced
42292:5de15407e462 42293:b24574463e1a
       
     1 
       
     2 s/\\([a-zA-Z]+)\s*/$1/g;
       
     3 s/\$//g;
       
     4 s/^BOOKMARK/\\BOOKMARK/g;