docs

bring some other docs up to date #11

	name: docs

	on:
	push:
	branches:
	- main
	paths:
	- '**.scrbl'
	- '.github/workflows/docs.yml'

	defaults:
	run:
	shell: bash

	jobs:
	deploy-docs:
	runs-on: ubuntu-latest
	name: Build and deploy DIA documentation
	steps:
	- name: Checkout
	uses: actions/checkout@master
	- name: Install Racket
	uses: Bogdanp/[email protected]
	with:
	architecture: 'x64'
	distribution: 'full'
	variant: 'CS'
	version: 'stable'
	- name: Install Documentation and its Dependencies
	run: cd dia-docs && make install
	- name: Build docs for hosting
	run: cd dia-docs && make build
	- name: Push to GitHub Pages
	uses: JamesIves/[email protected]
	with:
	folder: dia-docs/output
	branch: gh-pages
	clean: true

Provide feedback