| commit | 4a9129c7e86e0150a802f941af77df9d8c6d1dc1 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Fri May 08 03:42:23 1998 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Fri May 08 03:42:23 1998 +0000 |
| tree | d4af813fe237042032ba26e0bcfa25c3bc74ecf5 | |
| parent | 566d20951d2192ffe7ff77e367227208e014bcc2 [diff] [blame] |
/bin/sed works on both Solaris and RedHat Linux; /usr/bin/sed does not.
diff --git a/Doc/tools/fix_libaux.sed b/Doc/tools/fix_libaux.sed index 459b7e8..fb33cc5 100755 --- a/Doc/tools/fix_libaux.sed +++ b/Doc/tools/fix_libaux.sed
@@ -1,3 +1,3 @@ -#! /usr/bin/sed -f +#! /bin/sed -f s/{\\tt \\hackscore {}\\hackscore {}/\\sectcode{__/ s/\\hackscore {}\\hackscore {}/__/