layout tweak #3822


	name: generate-docs

	defaults:
	run:
	shell: bash
	working-directory: meta

	on:
	push:
	branches:
	- master

	workflow_dispatch:

	jobs:

	generate:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4.1.7

	- name: install requirements
	run: pip3 install -r requirements.txt

	- name: generate-docs.py
	run: python3 generate-docs.py

	- name: generate-docs-index.py
	run: python3 generate-docs-index.py

	- name: git status
	run: git status

	- name: git add .
	run: git add .

	- name: Commit files
	run: \|
	git config --local user.email "robertbrook@fastmail.fm"
	git config --local user.name "Robert Brook"
	git commit -m "Automated build push"

	- name: Push changes
	if: github.ref == 'refs/heads/master'
	uses: ad-m/github-push-action@v0.6.0
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}

	- name: echo index github folder
	run: echo "https://ukparliament.github.io/ontologies/meta/html/"

Provide feedback