Publish Documentation #2185

	name: 'Publish Documentation'

	on:
	push:
	branches:
	- main
	schedule:
	- cron: '0 0 * * *'

	jobs:
	pipeline:
	name: 'GitHub Pages'
	runs-on: ubuntu-latest
	timeout-minutes: 60
	permissions:
	contents: write
	steps:
	- name: 'Set current year'
	run: echo "YEAR=$(date +'%Y')" >> $GITHUB_ENV
	- name: 'Install system packages'
	run: \|
	sudo apt-get update
	sudo apt-get install -y --no-install-recommends clang gcc make sed tcl
	- uses: actions/checkout@v6
	with:
	submodules: recursive
	- uses: actions/setup-java@v5
	with:
	distribution: temurin
	java-version: 17
	- uses: actions/setup-python@v6
	with:
	python-version: 3.8
	- run: pip install mkdocs-material
	- name: 'Gradle'
	run: \|
	echo 'org.gradle.caching=false' >> gradle.properties
	echo 'org.gradle.configuration-cache=false' >> gradle.properties
	- name: 'Dokka'
	run: \|
	./gradlew dokkaGeneratePublicationHtml
	mkdir -p docs/kdoc
	cp -R build/dokka/html/* docs/kdoc/
	- name: 'Set version'
	run: echo "VERSION=$(grep -hnr 'selekt.versionName' gradle.properties \| sed 's/.*=//')" >> $GITHUB_ENV
	- name: 'Mkdocs'
	run: \|
	git fetch origin gh-pages:gh-pages
	sed -i 's/<year>/${{ env.YEAR }}/g' docs/*.md
	sed -i 's/<year>/${{ env.YEAR }}/g' mkdocs.yml
	sed -i 's/<version>/${{ env.VERSION }}/g' docs/*.md
	mkdocs gh-deploy -m 'Automatic mkdocs deployment.'

Provide feedback