Update ARI pages

Pierre Muller muller@ics.u-strasbg.fr
Mon Oct 15 09:23:00 GMT 2007


 I think that there is a misunderstanding:
  I didn't want to have a daily updated page that would use the
release branch, but simply change the pages with the results
of the last release.
  
  Anyhow, we should either update the pages
http://sourceware.org/gdb/download/ari/
to give results from 6.7 or completely remove
the link to 'last release' in all the ARI pages.

  I am still in favor of going writing a small script that
would check the last released version,
and regenerate the download/ari pages
if the version changed.

Pierre Muller
  

> -----Original Message-----
> From: gdb-patches-owner@sourceware.org [mailto:gdb-patches-
> owner@sourceware.org] On Behalf Of Joel Brobecker
> Sent: Thursday, October 11, 2007 6:50 PM
> To: Pierre Muller; gdb-patches@sourceware.org
> Subject: Re: Update ARI pages
> 
> > I don't even think this is worth doing.  Does anyone else?  The ARI
> > is a development tool; it's not important for release branches.
> 
> I agree with Daniel.
> 
> --
> Joel





More information about the Gdb-patches mailing list