src/Doc/fixbookmarks
author Walther Neuper <neuper@ist.tugraz.at>
Sun, 14 Jul 2013 14:48:14 +0200
changeset 52056 f5d9bceb4dc0
parent 50000 5386df44a037
child 54635 05313b45a5ae
permissions -rwxr-xr-x
merged
     1 #!/bin/bash
     2 
     3 perl -pi -e 's/\\([a-zA-Z]+)\s*/$1/g; s/\$//g; s/^BOOKMARK/\\BOOKMARK/g;' "$@"