Plugin documentation #3

	name: Plugin documentation

	# This workflow is strictly manual
	# https://docs.github.com/en/actions/using-workflows/manually-running-a-workflow
	# It shouldn't be merged with plugin publication to keep an ability of independent documentation update
	on:
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

	jobs:
	gradle:
	strategy:
	fail-fast: true
	runs-on: ubuntu-latest
	steps:
	# https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-gradle#using-the-gradle-starter-workflow
	- name: Checkout Repo
	uses: actions/checkout@v3

	# https://github.com/marketplace/actions/setup-java-jdk
	- name: Set up JDK 17
	uses: actions/setup-java@v3
	with:
	java-version: 17
	distribution: 'temurin'

	# https://github.com/marketplace/actions/gradle-wrapper-validation
	- name: Validate Gradle wrapper
	uses: gradle/wrapper-validation-action@v1

	# https://github.com/marketplace/actions/gradle-build-action
	- name: Build with Gradle
	uses: gradle/gradle-build-action@v2
	with:
	arguments: asciidoctor

	# https://github.com/actions/upload-pages-artifact
	- name: Upload Pages artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: './build/docs/asciidoc'

	# https://github.com/actions/deploy-pages
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback