checkDocExportsNecessity.sh

   1 #!/bin/bash
   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 if [ ! -n "$EXPORT_DOC_DIR" ]
  16 then
  17     echo "The EXPORT_DOC_DIR variable is not define. Export doc is disabled."
  18     exit 0
  19 fi
  20
  21 if [ ! -d "$EXPORT_DOC_DIR" ]
  22 then
  23     echo "Error : Export directory $EXPORT_DOC_DIR does not exist !"
  24     exit 2
  25 fi
  26
  27 if [ ! -n "$LAST_UPDATE_FILE" ]
  28 then
  29     echo "Error : The LAST_UPDATE_FILE is necessary for update detection !"
  30     exit 3
  31 fi
  32
  33 cd $ROOT_DIR
  34
  35 CURRENT=`grep ^commit $LAST_UPDATE_FILE | cut -d ' ' -f 2`
  36 if [ "`git diff $CURRENT -- doc`" != "" ]
  37 then
  38     echo "Export documentation is necessary"
  39     echo "================================="
  40     echo "Current doc exports was generated from the commit $CURRENT."
  41     echo "Changes have been made since."
  42 fi