diff --git a/www/docs/static/run b/www/docs/static/run
index 85750fdcd..72f5e274d 100755
--- a/www/docs/static/run
+++ b/www/docs/static/run
@@ -2,10 +2,12 @@
 set -e
 
 is_pro="false"
-if [[ "$VERSION" == *-pro ]]; then
+case "$VERSION" in
+*-pro)
 	DISTRIBUTION="pro"
 	is_pro="true"
-fi
+	;;
+esac
 
 if test "$DISTRIBUTION" = "pro"; then
 	echo "Using Pro distribution..."