From: Fred Drake Date: Fri, 8 May 1998 03:42:23 +0000 (+0000) Subject: /bin/sed works on both Solaris and RedHat Linux; /usr/bin/sed does not. X-Git-Tag: v1.5.2a1~702 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4a9129c7e86e0150a802f941af77df9d8c6d1dc1;p=python /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 459b7e8d36..fb33cc575d 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 {}/__/