Docs

test: add doc linter workflow, refactor doc generator #3

	name: Docs
	on:
	push:
	branches:
	- master
	pull_request:
	types: [ opened, synchronize, reopened ]
	jobs:
	check_diff:
	name: Check Generated Docs Diff
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 0

	- name: Run make docs.update
	run: make docs.update

	- name: Check for differences
	run: \|
	if ! git diff --quiet; then
	echo "There are differences in the generated documentation. Run 'make docs.update' to fix."
	git diff
	exit 1
	fi

Provide feedback