diff --git a/scripts/validate.sh b/scripts/validate.sh index aa7057766f3688c21a0c34f3fa604005c60b7658..dac55278add952f3a13b6262756992bab1562d01 100644 --- a/scripts/validate.sh +++ b/scripts/validate.sh @@ -25,11 +25,13 @@ rm -r -v * if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" =~ (origin\/)?master || "$1" =~ (origin\/)?Release-\d$ ]]; then + echo "++++ Try to generate docs for branch $1" cd /home/etsi/dev/robot2doc/robot2doc python3 create_sols.py ../../robot 'local' ../../build res2=$? else res2=0 + echo "++++ Not generating docs for branch $1" fi exit $res && $res2