diff --git a/scripts/validate.sh b/scripts/validate.sh index dac55278add952f3a13b6262756992bab1562d01..5f35cdfcdf427058da9d9c25e7e19fc05d94ff25 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-\d$ ]]; then echo "++++ Try to generate docs for branch $1" cd /home/etsi/dev/robot2doc/robot2doc