upgradeFromGit.sh : Added test with checkDocExportsNecessity.sh script to know if doc exportation is necessary

This commit is contained in:
Benjamin Renard 2010-04-21 12:10:06 +02:00
parent 4e989c3d79
commit bc24645bdd

View file

@ -234,6 +234,7 @@ fi
if [ $BUILD_DOC -eq 1 ]
then
[ -n "$LAST_UPDATE_FILE" ] && [ "`$ROOT_DIR/checkDocExportsNecessity.sh`" == "" ] && echo "Export documentation is not necessary. Pass." && exit
msg "-> Do you want build the documentation (y/N) ? " -en
read a
if [ "$a" == "y" -o "$a" == "Y" ]