PATCH for RE: Broken link and defunct search

[Gerald Pfeifer]

On Sat, 28 Aug 2004, Gerald Pfeifer wrote:
> On Fri, 27 Aug 2004, Joseph S. Myers wrote:
>>>   sed -e 's/_002d/-/g' -e 's/_002a/*/g'
>>> 
>>> to a strategic place to the wwwdocs/bin/preprocess script on gcc.gnu.org.
>> I don't see this in CVS yet.
> I just added it locally, because it is so ugly.  If I haven't heard
> back from the makeinfo folks by next week, I'll commit it.

Done as follows.

Installed and retested on gcc.gnu.org.

Gerald

Index: preprocess
===================================================================
RCS file: /cvs/gcc/wwwdocs/bin/preprocess,v
retrieving revision 1.38
diff -u -3 -p -r1.38 preprocess
--- preprocess	28 Aug 2003 13:05:38 -0000	1.38
+++ preprocess	5 Sep 2004 21:49:20 -0000
@@ -144,7 +144,10 @@ process_file()
              cat $STYLE > $TMPDIR/input
              printf '<set-var MHTML::INCLUDE-PREFIX="%s">\n' `pwd` >> $TMPDIR/input
              cat $f >> $TMPDIR/input
-            ${MHC} $TMPDIR/input > $TMPDIR/output
+            # Use sed to work around makeinfo 4.7 brokenness.
+            ${MHC} $TMPDIR/input \
+                | sed -e 's/_002d/-/g' -e 's/_002a/*/g' \
+                > $TMPDIR/output

              # Copy the page only if it's new or there has been a change, and,
              # first of all, if there was no problem when running MetaHTML.