merge #116

	# This workflow will build a Java project with Maven
	# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven

	name: Convert odd to rng schema

	on:
	push:
	branches: [ main ]

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Set up JDK 11
	uses: actions/setup-java@v2
	with:
	java-version: '11'
	distribution: 'adopt'
	- name: Convert odd to odd including software list
	run: \|
	sudo bash utilities/odd2oddSoftwareList.sh
	- name: Convert odd to rng schema
	run: \|
	sudo bash utilities/odd2rng.sh
	- name: Commit files
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action"
	git add schema/tei_software_annotation.xml
	git add schema/tei_software_annotation.rng
	git add schema/tei_jtei_annotated.odd
	git add schema/tei_jtei_annotated.rng
	git commit -m "Add updated odd and generated rng"
	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback