This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: Update ARI pages
On Thu, Oct 11, 2007 at 09:26:20AM +0200, Pierre Muller wrote:
> It might also be a good time (as 6.7 just came out)
> to refresh the 'last release' page, but, to be honest,
>
> I tried to write a custom script for that:
I played around with this for a bit. Eventually I realized that
this is in our release checklist already. It's right below the
bit that says how to update the online documentation. Joel,
you've been doing that bit - any particular reason you didn't
do the ARI too?
Joel, I stumbled on the scary set of shell scripts in
~gdbadmin/gdb-release. At least no one can say they could replace you
with a _small_ shell script... I borrowed the update-web-docs command
line from one script, compared with the gdbint manual, and established
that this command ought to regenerate the ARI directories:
/bin/sh ~/ss/update-web-ari \
~ftp/pub/gdb/releases/gdb-6.7.tar.bz2 \
$PWD/www \
/www/sourceware/htdocs/gdb/download/ari \
gdb
$PWD/www is a temporary directory that the script will create and then
delete. I didn't generate them into the final output directory, but
I did run the script into a temporary location, and it seems fine.
--
Daniel Jacobowitz
CodeSourcery