Auto-deploy the documentation on pages.gitlab.gnome.org
We can/should use the GitLab CI pipeline and GitLab pages to deploy our documentation.
See also #108 (closed)
We can/should use the GitLab CI pipeline and GitLab pages to deploy our documentation.
See also #108 (closed)