diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
new file mode 100644
index 00000000..4043d63b
--- /dev/null
+++ b/.github/workflows/publish_docs.yml
@@ -0,0 +1,52 @@
+name: publish_docs
+
+on:
+ push:
+ branches:
+ - main
+ create:
+ tags:
+ - '*'
+
+jobs:
+ publish_docs:
+ if: github.event_name == 'push' || (github.event_name == 'create' && github.event.ref_type == 'tag')
+ runs-on: ubuntu-latest
+ steps:
+ - name: Prepare branch name
+ run: >
+ echo "refName=${GITHUB_REF##*/}" >> $GITHUB_ENV
+ - name: Checkout relevant branch
+ uses: actions/checkout@v4
+ with:
+ ref: ${{ env.refName }}
+ - name: Checkout gh-pages
+ uses: actions/checkout@v4
+ with:
+ ref: gh-pages
+ path: target/gh-pages
+ - name: Set up JDK
+ uses: actions/setup-java@v3
+ with:
+ distribution: zulu
+ java-version: 17
+ - name: Run docs generation
+ run: >
+ ./mvnw clean resources:copy-resources@prepare-asciidoc resources:copy-resources@copy-classes asciidoctor:process-asciidoc@generate-html-docs -pl docs &&
+ mv docs/target/generated-docs/index.html target/gh-pages/${refName}/
+ - name: Update index
+ if: (github.event_name == 'create' && github.event.ref_type == 'tag')
+ run: sed -e "s/\${current}/${refName}/g" ./etc/index.tpl > ./target/gh-pages/index.html
+ - name: Commit to gh-pages
+ working-directory: ./target/gh-pages
+ run: |
+ git config --local user.email "action@github.com"
+ git config --local user.name "GitHub Action"
+ git add .
+ git commit -m "Update GH-Pages."
+ - name: Push changes
+ uses: ad-m/github-push-action@v0.6.0
+ with:
+ directory: target/gh-pages
+ branch: gh-pages
+ github_token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/docs/pom.xml b/docs/pom.xml
index 5e0c93c1..d65d340d 100644
--- a/docs/pom.xml
+++ b/docs/pom.xml
@@ -188,7 +188,7 @@
prepare-package
-
+ left
diff --git a/etc/index.tpl b/etc/index.tpl
new file mode 100644
index 00000000..c6cb14eb
--- /dev/null
+++ b/etc/index.tpl
@@ -0,0 +1,11 @@
+
+
+
+ Redirecting...
+
+
+
+
+ Please follow this link.
+
+