diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2020-02-21 18:24:02 +0100 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-02-25 09:06:40 -0500 |
| commit | 4eb0fc996c6f188221c278560052d4f58f1f6968 (patch) | |
| tree | 683f591bb1ed32d00aa8ad1f3d4ef2baef10ff96 /.azure-pipelines.yml | |
| parent | 3eb7b78b42373a260eb6d9996840da36a256f46e (diff) | |
azure: build HTML documentation
Several patches delivered incorrect restructured text as documentation. We
should be able to discover this in Azure CI.
Provide a build step for 'make htmldocs'.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
Diffstat (limited to '.azure-pipelines.yml')
| -rw-r--r-- | .azure-pipelines.yml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml index c2f7f0f133..86480581a2 100644 --- a/.azure-pipelines.yml +++ b/.azure-pipelines.yml @@ -54,6 +54,16 @@ jobs: steps: - script: cppcheck --force --quiet --inline-suppr . + - job: htmldocs + displayName: 'Build HTML documentation' + pool: + vmImage: $(ubuntu_vm) + container: + image: $(ci_runner_image) + options: $(container_option) + steps: + - script: make htmldocs + - job: todo displayName: 'Search for TODO within source tree' pool: |