Generate html pages #32

	name: Generate html pages

	on: workflow_dispatch

	jobs:
	download-files:
	runs-on: ubuntu-latest
	steps:
	- run: git config --global core.autocrlf false
	- uses: actions/checkout@v4
	- name: Set up Python 3.10
	uses: actions/setup-python@v3
	with:
	python-version: "3.12"
	- name: Convert md files to html pages
	run: \|
	cd automatics
	chmod +x md2html.py
	./md2html.py

	- name: Change version number in docs index file
	run: \|
	cd automatics
	sed -i "s@$(cat prev_version.txt)@$(cat version.txt)@g" ../docs/index.html

	- name: Push changes to the repo
	run: \|
	git config user.name github-actions
	git config user.email github-actions@github.com
	git add .
	git commit -m "v_${GITHUB_REF##*/}"
	git push

Provide feedback