[maven-release-plugin] prepare release 1.0.1 #1

	# Copyright 2023 Rob Spoor
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	# distributed under the License is distributed on an "AS IS" BASIS,
	# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	# See the License for the specific language governing permissions and
	# limitations under the License.

	name: Release site

	on:
	push:
	tags: ['[0-9]+.[0-9]+*']

	permissions:
	contents: write

	jobs:
	release-site:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Set up JDK 8
	uses: actions/setup-java@v4
	with:
	java-version: '8'
	distribution: 'temurin'
	cache: 'maven'
	- name: Build site
	run: \|
	mvn site --file pom.xml -B --no-transfer-progress
	for i in `grep '<module>.*</module>' pom.xml`; do
	module=`echo $i \| sed 's~<module>$.*$</module>~\1~g'`
	echo "Moving site for module $module to target/site"
	mv $module/target/site target/site/$module
	done
	- name: Deploy to gh-pages
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: 'target/site'
	commit-message: 'Updated for version ${{ github.ref_name }}'
	clean-exclude: 'apidocs/*.x'

Provide feedback