remove unused file #617

	# creates the documentation on pushes it to the gh-pages branch
	name: Documentation

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	jobs:
	build:
	runs-on: ubuntu-latest
	concurrency: documentation
	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
	token: ${{ secrets.PAT }}

	- name: Install dependencies
	shell: bash
	run: \|
	python -m pip install --upgrade pip
	pip install ".[docs]"

	- name: Build and Commit
	uses: sphinx-notes/[email protected]
	with:
	documentation_path: docs
	sphinx_version: "5.3.0"


	- name: Push changes
	if: ${{ github.event_name == 'push' }}
	uses: ad-m/[email protected]
	with:
	github_token: ${{ secrets.PAT }}
	branch: gh-pages

Provide feedback