| #! /bin/bash | 
 | WHAT=$1 | 
 | DIR=$2 | 
 | MINIC=$3 | 
 | MAXIC=$4 | 
 | MINOC=$5 | 
 | MAXOC=$6 | 
 | prefix=$8 | 
 |  | 
 | meanstatsfilename=$2/mean.html | 
 |  | 
 | WORK_DIR=tmp | 
 | mkdir $WORK_DIR | 
 |  | 
 | DATA_FILE=`find $DIR -name "*.dat" | grep _${WHAT}` | 
 |  | 
 | if [ -n "$DATA_FILE" ]; then | 
 |  | 
 |   echo "" | 
 |   echo "$1..." | 
 |   for FILE in $DATA_FILE | 
 |   do | 
 |           ##echo hello world | 
 |           ##echo "mk_mean_script1" ${FILE} | 
 |     BASE=${FILE##*/} ; BASE=${FILE##*/} ; AVANT=bench_${WHAT}_ ; REDUC=${BASE##*$AVANT} ; TITLE=${REDUC%.dat} | 
 |  | 
 |     ##echo "mk_mean_script1" ${TITLE} | 
 |     cp $FILE ${WORK_DIR}/${TITLE} | 
 |  | 
 |   done | 
 |  | 
 |   cd $WORK_DIR | 
 |   ../main $1 $3 $4 $5 $6 * >> ../$meanstatsfilename | 
 |   ../mk_new_gnuplot.sh $1 $2 $7 | 
 |   rm -f *.gnuplot | 
 |   cd .. | 
 |  | 
 |   echo '<br/>' >> $meanstatsfilename | 
 |  | 
 |   webpagefilename=$2/index.html | 
 |   # echo '<h3>'${WHAT}'</h3>'  >> $webpagefilename | 
 |   echo '<hr/><a href="'$prefix$1'.pdf"><img src="'$prefix$1'.png" alt="'${WHAT}'" /></a><br/>'  >> $webpagefilename | 
 |  | 
 | fi | 
 |  | 
 | rm -R $WORK_DIR | 
 |  | 
 |  | 
 |  | 
 |  | 
 |  | 
 |  |