Merge pull request #1278 from clearlinux/bashtoni #119

	name: CI

	on:
	push:
	branches:
	- master

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v1
	- name: Install dependencies
	run: \|
	export PATH="$HOME/.local/bin:$PATH"
	sudo apt-get install -y python3-setuptools pandoc
	pip3 install --user -r requirements.txt
	- name: Build the docs
	run: \|
	export PATH="$HOME/.local/bin:$PATH"
	make py
	make man
	make htmlall
	- name: Pre-deploy
	run: \|
	wget https://github.com/clearlinux/clear-linux-documentation-zh-CN/releases/latest/download/clearlinux-docs-zh-CN.tar.gz
	mkdir source/_build/html/zh_CN
	tar xvzf clearlinux-docs-zh-CN.tar.gz -C source/_build/html/zh_CN
	mv source/_build/html $HOME/output
	- name: Deploy the docs
	run: \|
	cd $HOME/output
	git init
	git config --global user.name "${GITHUB_ACTOR}"
	git config --global user.email "${GITHUB_ACTOR}@github.com"
	git add .
	git commit -m "latest html output"
	git push -f https://${GITHUB_ACTOR}:${{secrets.ACCESS_TOKEN}}@github.com/clearlinux/clear-linux-documentation.git HEAD:developmentHTML

Provide feedback