Docs

Merge pull request #337 from obophenotype/2024-06-27another_syntax_fix #149

	# Basic ODK workflow
	name: Docs

	# Controls when the action will run.
	on:
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:
	push:
	branches:
	- master

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	build:
	name: Deploy docs
	runs-on: ubuntu-latest
	steps:
	- name: Checkout main
	uses: actions/checkout@v3

	- name: Deploy docs
	uses: mhausenblas/mkdocs-deploy-gh-pages@master
	# Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	CONFIG_FILE: mkdocs.yaml

Provide feedback