Create website #719

	name: Create website

	on:
	push:
	branches:
	- main
	paths:
	- .github/workflows/create_website.yaml
	- 'docs/**'
	- mkdocs.yml
	workflow_run:
	workflows: ["Update content"]
	types:
	- completed
	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- uses: actions/setup-python@v5
	with:
	python-version: 3.x

	- name: Install dependencies
	run: pip install -r requirements.txt

	# Intermediate files needed for ./scripts/create_courses_page.sh,
	# where 'docs/courses_2.md' is created by 'update_courses.yaml'
	- name: Remove intermediate files
	run: \|
	rm docs/courses_1.md
	rm docs/courses_2.md
	rm docs/index_1.md
	rm docs/index_2.md
	rm docs/other_1.md
	rm docs/other_2.md
	rm docs/storage_1.md
	rm docs/storage_2.md
	rm docs/web_host_1.md
	rm docs/web_host_2.md

	- name: Deploy website
	run: mkdocs gh-deploy --force

Navigation Menu