Script to publish Javadoc to website

Author: bertfrees

.github/workflows/main.yml

@@ -40,3 +40,10 @@ jobs:
           MAVEN_USERNAME: ${{ secrets.SONATYPE_USERNAME }}
           MAVEN_PASSWORD: ${{ secrets.SONATYPE_PASSWORD }}
           MAVEN_GPG_PASSPHRASE: ${{ secrets.MAVEN_GPG_PASSPHRASE }}
+      - name: Publish Javadoc
+        env:
+          GH_REMOTE: "https://${{ secrets.PUBLISH_JAVADOC_GITHUB_TOKEN }}@github.com/liblouis/liblouis-java.git"
+          GH_USER_NAME: "Github CI"
+          GH_USER_EMAIL: "daisy@users.noreply.github.com"
+        run: |
+          ./publish-javadoc.sh

publish-javadoc.sh

@@ -0,0 +1,29 @@
+#!/usr/bin/env bash
+set -e
+set -x
+test -z "$(git status . --porcelain)"
+mvn org.apache.maven.plugins:maven-javadoc-plugin:3.11.3:javadoc
+GIT_HASH=$( git rev-parse HEAD )
+WORKING_DIR=$(pwd)
+if [ "x$GH_REMOTE" = "x" ]; then
+	GH_REMOTE="git@github.com:liblouis/liblouis-java.git"
+fi
+GH_BRANCH=gh-pages
+TMP_DIR=$( mktemp -t "$(basename "$0").XXXXXX" )
+rm $TMP_DIR
+git clone --branch $GH_BRANCH --depth 1 $GH_REMOTE $TMP_DIR
+cd $TMP_DIR
+git rm -r *
+mkdir -p api
+cp -r $WORKING_DIR/target/reports/apidocs/* api/
+git add .
+if [ "x$GH_USER_NAME" != "x" ]; then
+	git config user.name "$GH_USER_NAME"
+fi
+if [ "x$GH_USER_EMAIL" != "x" ]; then
+	git config user.email "$GH_USER_EMAIL"
+fi
+git commit -m "publish javadoc [ commit ${GIT_HASH} ]"
+git push $GH_REMOTE $GH_BRANCH:$GH_BRANCH
+cd $WORKING_DIR
+rm -rf $TMP_DIR