RFC: Add ari rule to generate ARI web page in build directory.

["Pierre Muller" <pierre dot muller at ics-cnrs dot unistra dot fr>]

  This RFC adds a new phony target rule called ari
that generates a new ARI index.html web page
located by default in ${top_builddir}/contrib/ari.
The target directory can be modified by setting
ARI_BUILDDIR on the make command line, like this:
make ari ARI_BUILDDIR=~/htdocs/trunk/ari
for instance.

  Comments welcome,



Pierre Muller
as ARI maintainer

2013-05-07  Pierre Muller  <muller@sourceware.org>

        * Makefile.in (ari): New phony target to generate a ARI web page,
        located by default in TOP_BUILDDDIR/contrib/ari directory.

Index: Makefile.in
===================================================================
RCS file: /cvs/src/src/gdb/Makefile.in,v
retrieving revision 1.1253
diff -u -p -r1.1253 Makefile.in
--- Makefile.in 7 May 2013 01:09:27 -0000       1.1253
+++ Makefile.in 7 May 2013 09:37:19 -0000
@@ -1440,6 +1440,27 @@ gdb.cxref: $(SFILES)

 force_update:

+
+# Rule to generate Awk Regression Index (aka ARI) web page.
+# Directory of ARI scripts.
+ARI_SRCDIR=$(abspath ${srcdir})/contrib/ari
+# Directory where new web page will be generated.
+ARI_BUILDDIR=$(abspath ${top_builddir})/contrib/ari
+# Temporary directory.
+ARI_TMP_DIR=${ARI_BUILDDIR}/tmp
+
+.PHONY: ari
+
+ari:
+       -mkdir -p ${ARI_BUILDDIR}
+       -mkdir -p ${ARI_TMP_DIR}
+       cp -pf ${ARI_SRCDIR}/*.sh ${ARI_BUILDDIR}
+       cd ${ARI_BUILDDIR} ; \
+       ${SHELL} ./update-web-ari.sh ${ARI_SRCDIR}/../../.. \
+       ${ARI_TMP_DIR} ${ARI_BUILDDIR} gdb
+       echo "New ARI web page can we viewed at ${ARI_BUILDDIR}/index.html"
+
+
 # GNU Make has an annoying habit of putting *all* the Makefile variables
 # into the environment, unless you include this target as a circumvention.
 # Rumor is that this will be fixed (and this target can be removed)