commit | 6938f06047a6d2170523cfc3ab8e797bae0a6c05 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Mon Aug 01 12:22:53 1994 +0000 |
committer | Guido van Rossum <guido@python.org> | Mon Aug 01 12:22:53 1994 +0000 |
tree | 1da91a88f322e85f03c8eedfc191f610209dfb4e | |
parent | ab3a2504b97d5131779f400717dc491919783dd0 [diff] [blame] |
Merge alpha100 branch back to main trunk
diff --git a/Doc/tools/fix_hack b/Doc/tools/fix_hack index 8c97729..8dad111 100755 --- a/Doc/tools/fix_hack +++ b/Doc/tools/fix_hack
@@ -1 +1,2 @@ +#!/bin/sh sed -e 's/{\\ptt[ ]*\\char[ ]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1