This is a template for Github Coq-Projects.
You can use this template by clicking on the "Use this template"-Button:
Choose to "Create a new repository". You should choose to create a public repository in order to deploy to Github Pages which is a main advantage of this project. Make sure to enable Github Pages for your project. (Source: Github Actions)
After that, clone your new repository and update the meta.yml.
You should ahve a look at the ref.yml from Coq-Community.
You must also update the following line in the Makefile:
COMPONENTS := theories:CoMoProj
It should match your choosen namespace.
Now execute
./generate.sh
git add .
git commit
git push
To generate meta information about your project.
Do not hesitate to use this template. Please note, that the Makefile is licensed under GNU General Public License v3.0. It was first published at Gitlab