Remove documentation action update to manual update #66

	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-test-commit'
	# 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-test-commit'
	# token: ${{ secrets.AUTHORIZATION_TOKEN }}
	# strategy_options: 'ours'

Provide feedback