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

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

  The idea of adding the ARI scripts to CVS sources
was twofold:
1) That everyone should be able to generate local ARI web page
to check if local diffs do generate changes in ARI.

2) Allow the main GDB web site to use ARI scripts adapted to current CVS 
changes.

  For point #2, we need to test
the generation of ARI web pages on sourceware.org server.

  This is the purpose of the change below, after suggestions from Joel.
For now, it just adds a new directory on the sourceware.org web server
http://sourceware.org/gdb/current/ari/test

  The ARI web pages accessible from the GDB web site
are not affected by that change.

  Things that probably will need some adjustments are 
links between different ARI versions...(But those are 
already post-processed in the current setup).


Pierre Muller


~/ss % diff -u do-snapshot test-do-snapshot
--- do-snapshot 2012-11-06 16:33:41.000000000 +0000
+++ test-do-snapshot    2012-11-07 08:29:37.000000000 +0000
@@ -92,6 +92,25 @@
     tail -50 ${logfile} | mail -s "update-web-ari ${package} ${ftp} failed"
brobecke
 fi

+# Check if source checkout contains also the update-web-ari script
+cvs_ari_script="${tempdir}/update-web-ari/gdb-${version}/gdb/contrib/ari/up
date-web-ari.sh"
+if test -f  "${cvs_ari_script}"
+then
+  # For now also run this script, but put results in ari/test subdirectory
+  if ( set -x ; sh ${cvs_ari_script} \
+       ${snapdir}/${package}-${version}.tar \
+       ${tmpdir}/update-web-ari \
+       ${wwwdir}/ari/test \
+       gdb \
+       >> ${logfile} )
+  then
+      echo "update-web-ari from CVS sources ${package} ${ftp} done"
+  else
+      tail -50 ${logfile} | mail -s "update-web-ari from sources ${package}
${ftp} failed" brobecke
+  fi
+fi
+
+


 ( echo "" ; date ; echo "" ) | tee -a ${logfile}