diff --git a/scripts/validate.sh b/scripts/validate.sh
index e6945847e94acd99dbcff8b6d966e91ca8fe7578..7e50abcd57472dd0f3da47db6d6f2f3e07e5f23c 100644
--- a/scripts/validate.sh
+++ b/scripts/validate.sh
@@ -19,7 +19,7 @@ done
 
 echo "Using git branch $1"
 
-if [[ "$1" =~ .*-dev$ || "$1" == "master" ]]; then
+if [[ "$1" =~ .*-dev$ || "$1" =~ \d+(\.?\d)+ || "$1" == "master" ]]; then
 
 	cd /home/etsi/dev/robot2doc/robot2doc