bump version to v0.3.0 #56

	---

	name: Generate Manual

	on:
	push:
	branches:
	- 'main'
	paths:
	- 'docs/src/manual.md'
	workflow_dispatch:

	jobs:
	gen_man:
	permissions:
	pull-requests: write
	contents: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- id: generate
	run: \|
	sudo apt-get update
	sudo apt-get install pandoc
	./ci/gen-man
	- name: push updated manual
	run: \|
	git config --global user.name denv-docs-bot
	git config --global user.email [email protected]
	git switch -c auto-man-update
	git add man
	git commit -m "Auto Man Page Update from ${{ github.event.head_commit.message }}" \|\| exit 0
	git push -fu origin auto-man-update
	gh pr create --base main --head auto-man-update --title "Auto Man Page Update" --body "triggered by ${{ github.sha }}"
	env:
	GH_TOKEN: ${{ github.token }}

Provide feedback