docs #74

	name: docs
	# either manually started, or on a schedule
	on: [ push, workflow_dispatch ]
	permissions:
	contents: write
	pages: write
	id-token: write
	jobs:
	docs:
	# ubuntu
	runs-on: ubuntu-latest
	steps:
	# need the repo checked out
	- name: checkout repo
	uses: actions/checkout@v3

	# need python
	- name: setup python
	uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- run: pip install requests PyYAML

	# fetch the Verilog from Wokwi API
	- name: fetch Verilog and build config
	run: ./configure.py --check-docs

	# pandoc deps
	- name: Pandoc deps
	run: \|
	sudo apt-get update -y
	sudo apt-get install -y pandoc texlive-xetex

	# fetch the Verilog from Wokwi API
	- name: build datasheet
	run: ./configure.py --build-pdf

	# make an artifact
	- name: upload artifact
	uses: actions/upload-artifact@v3
	with:
	name: docs
	path: info.yaml

	# archive the PDF
	- name: Archive PDF
	uses: actions/upload-artifact@v3
	with:
	name: PDF
	path: datasheet.pdf

Provide feedback