[RFC] Create also ARI web page using CVS source in gdb/contrib/ari

[Joel Brobecker]

Hi Pierre,

>   Should I modify ss/update-web-ari so that it generate a temp-file
>   that reports if the CVS sources contain a
>   contrib/ari/update-web-ari.sh file and prevent tempdir deletion in
>   that case?

What I would probably do is perform the ARI generation in a non-temporary
directory of our choosing. I don't think we should turn the cleanup off,
because we'll start leaving a lot of data behind each day.

-- 
Joel