GitLab

Description

Utopia uses a simple Doc server instance for deploying its documentation. The instance runs on our Hermes server. As indicated in #143 (closed), our current hosting situation on Netlify has several shortcomings. Most notably, we cannot deploy multiple versions of the documentation. ReadTheDocs, on the other hand, only allows building the documentation itself, which means that it cannot include files that are configured by CMake. Both are issues we can remedy by using our own server.

Proposal

Upload the Doxygen and the Sphinx documentation to our own doc server.

Preparation steps:

• Update the doc_server to be able to serve an arbitrary repository: utopia/doc_server#2
• Include an instance of the doc server into the Hermes server setup: infrastructure/gitlab_setup#22

Repository:

• Update the CI deployment script following the one in Utopia.
• Add proper GitLab CI environments.

Project:

• Add/update Project Badges
• Add private SSH key

Hermes server:

• Add public SSH key to authorized_keys of doc server container

One interesting addition to the deploy routine in Utopia would be to deploy docs for MRs as well, such that docs can be directly reviewed online before merging.

How to test the implementation?

Pipeline succeeds and deploys documentation to doc server.

Related issues

See #143 (closed)