Fix many minor bugs in several scripts (#98) #34

	name: Generate GithubPages

	on:

	workflow_dispatch:

	push:
	branches:
	- main

	jobs:
	deploy:
	runs-on: ubuntu-latest
	if: github.event.repository.fork == false
	steps:
	- uses: actions/checkout@v3
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	- name: Install pre-requisite
	run: \|
	sudo apt install gdb-multiarch python3 python3-dev python3-wheel -y
	version=$(gdb -q -nx -ex 'pi print(f"{sys.version_info.major}.{sys.version_info.minor}", end="")' -ex quit)
	python${version} -m pip install --requirement docs/requirements.txt --upgrade
	- name: Build and publish the docs
	run: \|
	git config --global user.name "hugsy"
	git config --global user.email "hugsy@users.noreply.github.com"
	mkdocs gh-deploy --force

Provide feedback