commit 3bf356c30bd7f04c430291de4e2508fd1f77d8d6
author Andrew Gaul <gaul@apache.org> Sat Sep 11 05:40:06 2021 +0900
committer Andrew Gaul <gaul@apache.org> Sat Sep 11 05:40:06 2021 +0900
tree cfd709296aeb462dddfda76caf40d5f66f6509bf
parent e610c86eb3b25831eb46e7c59e215651294e9a7a

Make deployment script compatible with newer Java

These include a date in the version string.

deploy-javadoc.sh

diff --git a/deploy-javadoc.sh b/deploy-javadoc.sh
index a58f6a0..0653779 100755
--- a/deploy-javadoc.sh
+++ b/deploy-javadoc.sh
@@ -5,7 +5,7 @@
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 
 
-JAVA_VERSION=`java -version 2>&1 | sed -n ';s/.* version "\(.*\)\.\(.*\)\..*"/\1\2/p;'`
+JAVA_VERSION=`java -version 2>&1 | sed -n ';s/.* version "\(.*\)\.\(.*\)\..*".*/\1\2/p;'`
 if [ "$JAVA_VERSION" -lt "17" ]; then
   echo "Use Java 1.7+ to generate the Javadoc."
   exit 1