Merge pull request #27 from djarecka/ga_doc #19

	name: generating documentation

	on:
	push:
	branches:
	- main


	permissions:
	contents: write

	jobs:
	generate:
	if: github.event.pull_request.merged == true
	runs-on: ubuntu-latest

	steps:
	- name: Checkout this repository
	uses: actions/checkout@v3

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.9

	- name: Install the required python packages
	run: python -m pip install .[docs]

	- name: Other installations
	run: \|
	sudo apt-get update
	sudo apt-get install -y build-essential git wget curl

	- name: Create local docs
	run: \|
	mkdir docs
	touch docs/.nojekyll
	cp -r src/docs/* docs/
	gen-doc -d docs linkml-schema/purple_boxes.yaml

	- name: Deploy to GitHub Pages
	run: mkdocs gh-deploy --force

Provide feedback