The source project of this merge request has been removed.
Initial CI setup with pages and userguide
I set up CI with two stages, during which
- the user guide (in sphinx) is compiled
- a public homepage is set up, which links to e.g., the main gitlab page and the user guide Note that these tasks are only carried out when pushing to the master branch.
Along the way I fixed up some issues (mostly technical) in the user guide (not optimal to blend merge requests but this just happened).