Fix building docs in CI

Tammo Jan Dijkemarequested to merge
more_doc_ci_fix into master

In the previous fix, the docs were deployed on changes to the docs folder, but not built.

Merge request reports