3 ROOT_DIR=$( cd `dirname $0`; pwd )
4 LOCAL_CFG_DIR=$ROOT_DIR/config.local
7 if [ ! -f $LOCAL_CFG_DIR/local.sh ]
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."
13 source $LOCAL_CFG_DIR/local.sh
15 if [ ! -n "$EXPORT_DOC_DIR" ]
17 echo "The EXPORT_DOC_DIR variable is not define. Export doc is disabled."
21 if [ ! -d "$EXPORT_DOC_DIR" ]
23 echo "Error : Export directory $EXPORT_DOC_DIR does not exist !"
27 if [ ! -n "$LAST_UPDATE_FILE" ]
29 echo "Error : The LAST_UPDATE_FILE is necessary for update detection !"
35 CURRENT=`grep ^commit $LAST_UPDATE_FILE | cut -d ' ' -f 2`
36 if [ "`git diff $CURRENT -- doc`" != "" ]
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."