[RFA] contrib/ari: Avoid permission issue for script

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

Generating a web page from the newly committed
Files in src/gdb/contrib/ari
directory is almost possible without change.

But I still have the problem of the permissions
of the script files...
And I still don't know if (and if yes, how)
I can set file permissions in the CVS repository...

I can lift the problem for the main script,
by calling it using: 
sh ../../src/gdb/contrib/ari/ create-web-ari-in-src.sh,
but this script calls update-web-ari.sh script
without using '. script'...

Is this OK?

  Other question:
Should I add myself as contrib/ari maintainer?



2012-11-01  Pierre Muller  <muller@ics.u-strasbg.fr>

      * contrib/ari/create-web-ari-in-src.sh: Avoid problem if script
	is not executable.

Index: create-web-ari-in-src.sh
===================================================================
RCS file: /cvs/src/src/gdb/contrib/ari/create-web-ari-in-src.sh,v
retrieving revision 1.1
diff -u -r1.1 create-web-ari-in-src.sh
--- create-web-ari-in-src.sh    1 Nov 2012 21:22:27 -0000       1.1
+++ create-web-ari-in-src.sh    1 Nov 2012 21:48:21 -0000
@@ -67,7 +67,7 @@
 fi

 # Launch update-web-ari.sh in same directory as current script.
-${scriptpath}/update-web-ari.sh ${srcdir} ${tempdir} ${webdir} gdb
+. ${scriptpath}/update-web-ari.sh ${srcdir} ${tempdir} ${webdir} gdb

 if [ -f "${webdir}/index.html" ] ; then
   echo "ARI output can be viewed in file \"${webdir}/index.html\""