Add option to generate a unique name for output file #76

	name: docs

	on:
	push:
	branches: [ master ]
	paths:
	- "docs/**"
	- ".github/workflows/docs.yml"
	pull_request:
	paths:
	- "docs/**"
	- ".github/workflows/docs.yml"

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.11"
	- name: Install dependency
	run: pip install -r docs/requirements.txt
	- name: Build documentation
	run: sphinx-build -b html docs/source/ docs/build/

Provide feedback