cpython/Doc/fix_hack

mirror of https://github.com/python/cpython
#!/bin/sh
sed -e 's/{\\ptt[ 	]*\\char[ 	]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1
	`#!/bin/sh`
	`sed -e 's/{\\ptt[ ]\\char[ ]'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1`