doc-src/fixbookmarks.pl
changeset 6609 28726a610a17
child 6636 80052270f08b
equal deleted inserted replaced
6608:927def00b1c6 6609:28726a610a17
       
     1 
       
     2 s/\\(\w+)\s*/$1/g;
       
     3 s/\$//g;
       
     4 s/^BOOKMARK/\\BOOKMARK/g;