diff --git a/scripts/validate.sh b/scripts/validate.sh index 5f35cdfcdf427058da9d9c25e7e19fc05d94ff25..eb832bce80b3e16f9e022ee72c008313fe7fd710 100644 --- a/scripts/validate.sh +++ b/scripts/validate.sh @@ -23,7 +23,7 @@ mkdir -p /home/etsi/dev/build cd /home/etsi/dev/build rm -r -v * -if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" =~ (origin/)?master || "$1" =~ (origin/)?Release-\d$ ]]; then +if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "origin/master" || "$1" == "origin/Release-3" ]]; then echo "++++ Try to generate docs for branch $1" cd /home/etsi/dev/robot2doc/robot2doc