improved selection implementations #26

	name: docs

	on:
	push:
	branches: [master]

	jobs:
	update-docs:
	runs-on: ubuntu-24.04
	defaults:
	run:
	working-directory: ${{ github.workspace }}

	steps:
	- name: install-doxygen
	run: sudo apt update && sudo apt install -y doxygen

	- name: git-config
	run: \|
	git config --global user.name ${{ github.repository_owner }}
	git config --global user.email ${{ github.repository_owner }}@users.noreply.github.com

	- name: update-api-docs
	uses: actions/checkout@v4
	with:
	ref: gh-pages
	fetch-depth: 0
	- run: \|
	git rebase origin/master
	sudo bash ./docs/api/generate_api_docs.sh
	sudo rsync -a docs/api/sphinx-out/ docs/
	git commit --all --amend --no-edit
	git push --force-with-lease

	- name: update-wiki-pages
	uses: actions/checkout@v4
	with:
	repository: ${{ github.repository }}.wiki
	path: wiki
	- run: \|
	rm -f wiki/*.md
	cp docs/*.md wiki/
	cd wiki
	git add .
	git commit --amend --no-edit
	git push --force-with-lease

Provide feedback