Wiki
Description
This is the wiki! The actual serving is done by a basic Nginx container on static HTML. This HTML is generated from ReStructuredText by Sphinx using the Read the Docs theme. The build job runs automatically through Jenkins.
Configuration
Currently the documentation is hosted in a private GitHub repository. This is mirrored to Gitea, which periodically checks for code changes (I don’t think webhooks are working yet for instantaneous updates). When updated code is pulled the Jenkins server is triggered to run the build.
The Jenkins job uses a custom Docker image (sphinx + rtd theme), runs make html, and copies the build output files to a volume which is shared with the Nginx service.