Re: [RFA-v4] Add scripts to generate ARI web pages to gdb/contrib/ari directory

[Joel Brobecker <brobecker@adacore.com>]

> This is only because currently there are web links
> inside the generated pages that should allow to switch from
> trunk to branches (It would at least be useful that those link
> still work when the script is called on the sourceware.org repository).
>  
> > We can let the caller decide where he wants the data to go...
> 
> OK, this is already possible, either by specifying a webdir
> environment variable before calling create-web-ari-in-src.sh script
> or by using directly update-web-ari.sh script, you then need to
> specify all 4 args as explained in start of create-web-ari-in-src.sh
> script.

I have a feeling that you are making things harder for yourself.
From my point of view, all we need is a script that generates
the data at a specified location.  We can then adapt the scripts
in the 'ss' repository to call them with the correct arguments.

I think that the knowledge about the layout of our web site in
update-web-ari.sh should remain in the 'ss' repository. And we can
then let it deal with the various idiosynchrasies of our web site.
Worse case scenario, I'll modify the web site itself, to point to
the new location...

>   I would just prefer the we do use another directory or a
>   sub-directory, because there is a lot of file generation, and
>   copying of scripts to destination dir.  If webdir is current
>   directory, it will be very hard to clean the mess afterwards...

But, isn't what the ari/ subdirectory is already about? In other
words, when you call the main script, it'll generate the data
in ./ari...

-- 
Joel