src/Doc/isac/jrocnik/fixbookmarks.pl
changeset 52056 f5d9bceb4dc0
parent 42293 b24574463e1a
equal deleted inserted replaced
48899:79e5b6eec425 52056:f5d9bceb4dc0
       
     1 
       
     2 s/\\([a-zA-Z]+)\s*/$1/g;
       
     3 s/\$//g;
       
     4 s/^BOOKMARK/\\BOOKMARK/g;