Work on Docker files and scripts. #19

	name: Build the documentation website

	on:
	push:
	branches:
	- main

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- name: Set up docs
	uses: actions/setup-python@v2
	with:
	python-version: 3.8
	- name: Install dependencies
	run: \|
	sudo apt-get update -qy
	sudo apt-get install -y curl tidy optipng python3 python3-pip locales rsync nodejs npm openssh-client expect
	sudo pip3 install virtualenv
	sudo npm install -g n
	sudo n 15
	sudo sh -c 'echo "en_US UTF-8" > /etc/locale.gen'
	sudo locale-gen en_US.UTF-8
	export LANG=en_US.UTF-8
	export LANGUAGE=en_US:en
	export LC_ALL=en_US.UTF-8
	cd docs
	make setup
	- name: Build docs
	run: \|
	cd docs
	make SITE=src/site-prod.yml
	make optimize-html
	- name: Deploy docs
	uses: JamesIves/[email protected]
	with:
	branch: gh-pages
	folder: docs/build

Provide feedback