various fixes (#119) #190

	name: Deploy documentation ⚙️

	on:
	push:
	branches:
	- main
	paths:
	- 'documentation/**'
	- 'exercise-materials/**'

	defaults:
	run:
	working-directory: documentation

	jobs:
	build:
	name: Build and Deploy Documentation
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: '3.x'
	- name: Install requirements 📦
	run: \|
	python -m pip install --upgrade pip
	pip install -r requirements.txt
	- name: Deploy 📦
	run: mkdocs gh-deploy --strict --force --message 'update website via GitHub Actions'
	- name: add exercises zipfile 📦
	run: \|
	cd ..
	zip -r exercise-materials.zip exercise-materials/
	ls -lh
	git push --set-upstream origin gh-pages
	git config --global user.email "tomkralidis@gmail.com"
	git config --global user.name "Tom Kralidis"
	git checkout gh-pages
	git add exercise-materials.zip
	git commit -m "add exercise-materials zipfile" -a
	git push

Provide feedback