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.
Differential D709
jobs: add docs building jobs douardda on Nov 26 2018, 11:47 AM. Authored by
Details
Add 2 jobs for building the doc:
Diff Detail
|