Incorporated Jan-Hein's changes and texinfo conversion.

This commit is contained in:
Guido van Rossum 1992-12-08 14:37:55 +00:00
parent 2a7178efe1
commit 95cd2ef162
17 changed files with 4681 additions and 19 deletions

1
Doc/tools/fix_hack Executable file
View file

@ -0,0 +1 @@
sed -e 's/{\\ptt[ ]*\\char[ ]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1