jobs: add docs building jobs (!5) · Merge requests · Platform / Infrastructure / CI CD / Jenkins jobs · GitLab

David Douard requested to merge generated-differential-D709-source into generated-differential-D709-target Nov 26, 2018

Add 2 jobs for building the doc:

DDOC/publish that builds the doc from tagged versions and publish it
DDOC/dev that buils the doc from HEAD and make the produced HTML available on jenkins.

Migrated from D709 (view on Phabricator)