doc-src/isac/jrocnik/fixbookmarks.pl
author Jan Rocnik <jan.rocnik@student.tugraz.at>
Tue, 27 Sep 2011 11:05:00 +0200
branchdecompose-isar
changeset 42293 b24574463e1a
permissions -rwxr-xr-x
before merge
     1 
     2 s/\\([a-zA-Z]+)\s*/$1/g;
     3 s/\$//g;
     4 s/^BOOKMARK/\\BOOKMARK/g;