buildDoc.sh

   1 #!/bin/sh
   2
   3 ROOT_DIR=$( cd `dirname $0`; pwd )
   4 LOCAL_CFG_DIR=$ROOT_DIR/config.local
   5
   6 # Import config
   7 if [ ! -f $LOCAL_CFG_DIR/local.sh ]
   8 then
   9     echo "Error : You don't have create your own local.sh file in config.local directory. You could rely on the local.sh.example file to create your version."
  10     exit 1
  11 fi
  12
  13 source $LOCAL_CFG_DIR/local.sh
  14
  15 cd $ROOT_DIR/doc
  16
  17 make clean >> $LOG_FILE 2>&1
  18 make >> $LOG_FILE 2>&1 &
  19
  20 export P=$!
  21
  22
  23 trap exitwhell INT
  24
  25 function exitwhell() {
  26         kill -9 $P 2> /dev/null
  27         echo " -- INT -- "
  28 }
  29
  30 while [ -d /proc/$P ]
  31 do
  32         echo -n .
  33         sleep 1
  34 done
  35 echo done.
  36
  37