diff Doc/fix_hack @ 1100:ff1899dcda05 legacy-trunk

Incorporated Jan-Hein's changes and texinfo conversion.
author Guido van Rossum <guido@python.org>
date Tue, 08 Dec 1992 14:37:55 +0000
parents
children ec25aad43724
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Doc/fix_hack	Tue Dec 08 14:37:55 1992 +0000
@@ -0,0 +1,1 @@
+sed -e 's/{\\ptt[ 	]*\\char[ 	]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1