/bin/sed works on both Solaris and RedHat Linux; /usr/bin/sed does not.

1998-05-08 03:42:23 +00:00 · 1998-05-08 03:42:23 +00:00 · 4a9129c7e8
parent 566d20951d
commit 4a9129c7e8
1 changed files with 1 additions and 1 deletions
--- 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  {}/__/