This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: thanks.html broken
- To: Jeffrey A Law <law at cygnus dot com>
- Subject: Re: thanks.html broken
- From: Zack Weinberg <zack at wolery dot cumb dot org>
- Date: Mon, 14 Aug 2000 23:57:44 -0700
- Cc: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>, gcc-patches at gcc dot gnu dot org, Matt Kraai <kraai at alumni dot carnegiemellon dot edu>
- References: <Pine.BSF.4.21.0007250203030.54486-100000@deneb.dbai.tuwien.ac.at> <15187.966320630@upchuck>
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