This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
RE: Update ARI pages
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