Version 1.1.0

Changes

- Updated the generated workflow. [Max Ole Elliger]

  The workflow now deploys to the gh-pages-branch. This helps to deploy
  documentation in private repositorys, if needed.

  Also, it now ensures to only deploy, if a push to main is made.

Fix
~~~
- Updated the name of the workflow artifact. [Max Ole Elliger]

1.0.0: First released version

First released version

New

- Update README.md. [motrellin]

  Added information about updating the Makefile
- Create README.md. [motrellin]
- Added generate.sh as a wrapper. [Max Ole Elliger]

  Added a wrapper for the commands offered
  [here](https://github.com/coq-community/templates?tab=readme-ov-file#generating-configuration-files-using-the-generatesh-script)

Fix

• Fixed project page button. [Max Ole Elliger]

Other

- Init commit. [Max Ole Elliger]