thanks.html broken

Zack Weinberg zack@wolery.cumb.org
Mon Aug 14 23:58:00 GMT 2000


On Tue, Aug 15, 2000 at 12:23:50AM -0600, Jeffrey A Law wrote:
>   In message <Pine.BSF.4.21.0007250203030.54486-100000@deneb.dbai.tuwien.ac.at>
> you write:
>   > On Fri, 9 Jun 2000, Jeffrey A Law wrote:
>   > >> The link thanks.html is broken in various ways.  At
>   > >> http://gcc.gnu.org/thanks.html , all the links on the page are broken.  
>   > > We'll have to fix that.
>   > 
>   > The question is: How? :-/
> It shouldn't be *that* hard.

One sed invocation.  Alas, it's not a one-liner.

sed '
   /Go to the/d
   /texi2html/d
   /^<P><HR><P>/d
   /^<TITLE>/s/^<TITLE>[^-]*- /<TITLE>/
   /^<H1>/{
      s/<H1>/<H1 ALIGN="center">/
      s/<A [^>]*>//
      s/<\/A>//
   }
   /^<BODY>/s/<BODY>/<BODY BGCOLOR="white" TEXT="black" LINK="#0000EE" VLINK="#551A8B" ALINK="red">/
   1i\
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
   /^<\/BODY>/i\
<HR>\
<ADDRESS>\
<A HREF=" http://gcc.gnu.org/about.html ">The GCC team</A>\
<BR>\
<SMALL>Last modified '`date +%Y-%m-%d`'</SMALL>\
</ADDRESS>
' <thanks.html >thanks.html.new

Just needs to be stuck into whatever magic does the extraction of
thanks.html from gcc.texi.

zw


More information about the Gcc-patches mailing list