Update documentation #68

	name: Generate and submit documentation
	on:
	push:
	branches:
	- fix/generate-documentation-workflow

	jobs:
	generate-documentation:
	runs-on: self-hosted-k3s
	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	persist-credentials: false
	fetch-depth: 0

	- name: Generate documentation
	run: make doc

	# - name: Commit & Push changes
	# run: \|
	# git clone https://github.com/Crypto-TII/claasp.git claasp-lib
	# git config --global user.name 'Github'
	# git config --global user.email ${{ secrets.DEPLOYMENT_REPOSITORY_EMAIL }}
	# cd claasp-lib
	# git checkout fix/generate-documentation-workflow-test-commit
	# make doc
	# git add .
	# git commit -m "Update documentation"
	# git push origin fix/generate-documentation-workflow-test-commit
	# git merge fix/generate-documentation-workflow-test-commit fix/generate-documentation-workflow-test-merge

	- name: Commit & Push changes
	uses: actions-js/push@master
	with:
	branch: 'fix/generate-documentation-workflow'
	github_token: ${{ secrets.AUTHORIZATION_TOKEN }}
	message: "Update documentation"

	- name: Update develop branch
	uses: morbalint/git-merge-action@v1
	with:
	target: 'fix/generate-documentation-workflow-test-merge'
	source: 'fix/generate-documentation-workflow'
	token: ${{ secrets.AUTHORIZATION_TOKEN }}
	strategy_options: 'ours'

Provide feedback