wenzelm@53498: #!/usr/bin/env bash
wenzelm@6609: 
wenzelm@48940: perl -pi -e 's/\\([a-zA-Z]+)\s*/$1/g; s/\$//g; s/^BOOKMARK/\\BOOKMARK/g;' "$@"