Clarify Ansible installation instructions #55

	name: generate-documentation

	on:
	push:
	branches: [main]
	paths:
	- "*/.sh"
	- "generate-docs.py"
	workflow_dispatch: {}

	permissions:
	contents: write

	concurrency:
	group: repository-writes
	cancel-in-progress: false

	jobs:
	generate-documentation:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- uses: actions/setup-python@v5
	with:
	python-version: "3.x"

	# Invoked via `python3` rather than `./generate-docs.py` so this doesn't depend on
	# the executable bit surviving git/zip transport -- fails the build if any *.sh
	# file is missing a DOC-START/DOC-END block.
	- name: Generate docs/index.html
	run: python3 generate-docs.py --strict

	- name: Commit updated docs
	shell: bash
	run: \|
	set -euo pipefail

	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"

	git add docs/index.html

	if git diff --cached --quiet; then
	echo "No changes to commit."
	exit 0
	fi

	git commit -m "docs: regenerate docs/index.html [skip ci]"

	git pull --rebase origin main
	git push origin HEAD:main

Navigation Menu