From b4399eaa18190515aa2ea41f827d4ad7ae2c190a Mon Sep 17 00:00:00 2001
From: Marcin Grzejszczak <marcin.grzejszczak@gmail.com>
Date: Tue, 3 Mar 2020 19:55:07 +0100
Subject: [PATCH] Added missing commas

---
 docs/src/main/asciidoc/ghpages.sh | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/docs/src/main/asciidoc/ghpages.sh b/docs/src/main/asciidoc/ghpages.sh
index b46c87afa..55e76be19 100755
--- a/docs/src/main/asciidoc/ghpages.sh
+++ b/docs/src/main/asciidoc/ghpages.sh
@@ -291,26 +291,26 @@ case ${key} in
     -v|--version)
     VERSION="$2"
     shift # past argument
-
+    ;;
     -d|--destination)
     DESTINATION="$2"
     shift # past argument
-
+    ;;
     -b|--build)
     BUILD="yes"
-
+    ;;
     -c|--clone)
     CLONE="yes"
-
+    ;;
     -h|--help)
     print_usage
     exit 0
-
+    ;;
     *)
     echo "Invalid option: [$1]"
     print_usage
     exit 1
-
+    ;;
 esac
 shift # past argument or value
 done
@@ -327,4 +327,4 @@ build_docs_if_applicable
 retrieve_doc_properties
 stash_changes
 add_docs_from_target
-checkout_previous_branch
+checkout_previous_branch
\ No newline at end of file