Doc/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 12:22:53 +00:00			`#!/bin/sh`
Incorporated Jan-Hein's changes and texinfo conversion. 1992-12-08 14:37:55 +00:00			`sed -e 's/{\\ptt[ ]\\char[ ]'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1`