diff options
| author | Guido van Rossum <guido@python.org> | 1994-08-01 12:22:53 +0000 |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1994-08-01 12:22:53 +0000 |
| commit | 6938f06047a6d2170523cfc3ab8e797bae0a6c05 (patch) | |
| tree | 1da91a88f322e85f03c8eedfc191f610209dfb4e /Doc/fix_hack | |
| parent | ab3a2504b97d5131779f400717dc491919783dd0 (diff) | |
| download | cpython-git-6938f06047a6d2170523cfc3ab8e797bae0a6c05.tar.gz | |
Merge alpha100 branch back to main trunk
Diffstat (limited to 'Doc/fix_hack')
| -rwxr-xr-x | Doc/fix_hack | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/fix_hack b/Doc/fix_hack index 8c977291bb..8dad11101a 100755 --- a/Doc/fix_hack +++ b/Doc/fix_hack @@ -1 +1,2 @@ +#!/bin/sh sed -e 's/{\\ptt[ ]*\\char[ ]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1 |