summaryrefslogtreecommitdiffstats
path: root/Doc/tools/fix_hack
blob: 8dad11101a99f75229e2f9e2883a89856cdb6ae1 (plain)
1
2
#!/bin/sh
sed -e 's/{\\ptt[ 	]*\\char[ 	]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1