doc/.gitlab-ci.yml: deploy_doc
Au-dessus de !583 (merged).
Encore #4148 (closed) / #3588: https://gitlab.inria.fr/vidjil/vidjil/-/jobs/525803, sur un pipeline hors MR, a loupé car build_doc
n'était pas appelé. On essaie ici de mettre only:[merge_requests]
aussi sur deploy_doc
.