Adding pages extracted from the wiki pages #230

	name: docs

	on:
	workflow_dispatch:
	push:
	branches:
	- main
	paths:
	- docs/**
	pull_request:
	types: [opened, synchronize, reopened]
	paths:
	- docs/**

	jobs:
	build:
	runs-on: ubuntu-latest
	if: github.event.repository.fork == false
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Install python3
	uses: actions/setup-python@v5
	with:
	python-version: 3.x
	- name: Cache
	uses: actions/cache@v4
	with:
	key: ${{ github.ref }}
	path: .cache
	- name: Install Material for MkDocs
	run: \|
	pip install mkdocs-material pillow cairosvg
	pip install -r docs/mkdocs-material-plugins.txt
	- name: Build
	run: cd docs && mkdocs build --clean --config-file mkdocs.yaml -d site -v
	- name: Publish main
	if: github.ref == 'refs/heads/main'
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: docs/site
	- name: Publish version
	if: startsWith(github.ref, 'refs/tags/v') && !contains(github.ref, 'beta') && !contains(github.ref, 'alpha')
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: docs/site
	clean-exclude: dokka/**

Provide feedback