gitlab-ci: build the documentation in CI.
Full HTML build for English only so far. The full build for all languages takes more than one hour on GNOME Gitlab, hence gets canceled. I'll have to take a closer look later.
Full HTML build for English only so far. The full build for all languages takes more than one hour on GNOME Gitlab, hence gets canceled. I'll have to take a closer look later.