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