cpython/Doc/tools/fix_hack

#!/bin/sh
sed -e 's/{\\ptt[ 	]*\\char[ 	]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1
Merge alpha100 branch back to main trunk 1994-08-01 09:22:53 -03:00			`#!/bin/sh`
Incorporated Jan-Hein's changes and texinfo conversion. 1992-12-08 10:37:55 -04:00			`sed -e 's/{\\ptt[ ]\\char[ ]'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1`