Documentation #41

	name: Documentation

	on:
	push:
	tags:
	- v*

	jobs:
	publish:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	github_token: ${{ secrets.WORKFLOW_TOKEN }}

	- id: Docs
	uses: ./.github/actions/tangle

	- name: Setup Node
	uses: actions/setup-node@v3
	with:
	node-version: 18

	- name: Setup Clojure
	uses: DeLaGuardo/[email protected]
	with:
	cli: 1.10.1.693
	clj-kondo: 2022.05.31

	- name: Build
	shell: bash
	run: \|
	cd babel
	npm i
	clojure -M:build

	- name: Build examples
	shell: bash
	run: \|
	cd babel/examples
	npm i
	clojure -M:build

	- name: Remove everything but the documentation
	shell: bash
	run: \|
	sudo rm -fr *.org LICENSE babel .gitignore
	sudo mv docs/* ./
	sudo rm -fr docs

	- name: Publish to Github pages
	shell: bash
	run: \|
	git config --global user.name documentation-action
	git config --global user.email [email protected]
	git add -A && git commit -m "Documentation"
	git push origin HEAD:refs/heads/gh-pages --force

Provide feedback