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

["Pierre Muller" <pierre.muller@ics-cnrs.unistra.fr>]

 Hi Joel,

  I can only confirm that it is indeed possible to 
launch the script from the build directory,
and that this only generates new files in sub-directories of the gdb build
directory.

  Of course, there is nothing yet in the gdb/Makefile.in
to support this, but my idea was to submit that later anyhow.

Pierre Muller

> -----Message d'origine-----
> De : gdb-patches-owner@sourceware.org [mailto:gdb-patches-
> owner@sourceware.org] De la part de Joel Brobecker
> Envoyé : lundi 22 octobre 2012 23:04
> À : Pierre Muller
> Cc : gdb-patches@sourceware.org
> Objet : Re: [RFA-v5] Add scripts to generate ARI web pages to
> gdb/contrib/ari directory
> 
> Sorry about the delay, Pierre,
> 
> >   Joel made some suggestions about changing create-web-ari-in-src.sh
> > in order to create all files directly in the same directory,
>                                                ^^^^ current working
> > but these script generate a lot of "useless" files
> > and having them together with the cvs files still worries me.
> 
> I think we should make sure that these scripts are callable from
> out-of-tree, just the same way we can build GDB out-of-tree (which
> is the recommended way to building a lot the GNU software).
> 
> But I'm fine with the current version. Let's make progress rather
> than bikeshedding further :).
> 
> > 2012-09-27  Pierre Muller  <muller@ics.u-strasbg.fr>
> >
> >         Incorporate ARI web page generator into GDB sources.
> >         * contrib/ari/create-web-ari-in-src.sh: New file.
> >         * contrib/ari/gdb_ari.sh: New file.
> >         * contrib/ari/gdb_find.sh: New file.
> >         * contrib/ari/update-web-ari.sh: New file.
> 
> OK for me. I'm not sure if anyone else want to comment before
> we go ahead?
> 
> --
> Joel