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 |
wenzelm@49955 | 1 |
#!/bin/bash |
wenzelm@6609 | 2 |
|
wenzelm@49955 | 3 |
perl -pi -e 's/\\([a-zA-Z]+)\s*/$1/g; s/\$//g; s/^BOOKMARK/\\BOOKMARK/g;' "$@" |