From 4a9129c7e86e0150a802f941af77df9d8c6d1dc1 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 8 May 1998 03:42:23 +0000
Subject: [PATCH] /bin/sed works on both Solaris and RedHat Linux; /usr/bin/sed
 does not.

---
 Doc/tools/fix_libaux.sed | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/tools/fix_libaux.sed b/Doc/tools/fix_libaux.sed
index 459b7e8d365..fb33cc575de 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  {}/__/