add copy button #13

	name: Deploy

	on:
	workflow_dispatch:
	repository_dispatch:
	push:
	branches:
	- master

	jobs:
	# Ref: https://github.com/igorshubovych/markdownlint-cli
	build-and-deploy:
	permissions:
	contents: write
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 0
	- name: Update, set up and build
	run: \|
	sudo apt-get -y update
	sudo apt-get install -y python3-pip git
	pip3 install pipenv
	pipenv update
	pipenv run sphinx-build -W -A SPHINXPRODUCTION=True docs/source docs/build
	date -u +%Y-%m-%d-%T-%Z > docs/build/build.info.txt
	cat Pipfile.lock >> docs/build/build.info.txt
	touch docs/build/.nojekyll
	- name: Deploy 🚀
	uses: JamesIves/[email protected]
	with:
	dry-run: false
	token: ${{ secrets.GITHUB_TOKEN }}
	branch: gh-pages # The branch the action should deploy to.
	folder: docs/build # The folder the action should deploy.
	clean: true # Automatically remove deleted files from the deploy branch
	single-commit: true # Like push force, keep only the last commit
	git-config-name: #use username that pushes to master
	git-config-email: <>

Provide feedback