Re: Update ARI pages

['Daniel Jacobowitz' <drow@false.org>]

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