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