diff options
Diffstat (limited to '.azure-pipelines.yml')
| -rw-r--r-- | .azure-pipelines.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml index 5fe3b8751d..49fc34fbf2 100644 --- a/.azure-pipelines.yml +++ b/.azure-pipelines.yml @@ -76,8 +76,8 @@ stages: steps: - script: cppcheck -j$(nproc) --force --quiet --inline-suppr . - - job: htmldocs - displayName: 'Build HTML documentation' + - job: docs + displayName: 'Build documentation' pool: vmImage: $(ubuntu_vm) container: @@ -89,6 +89,7 @@ stages: . /tmp/venvhtml/bin/activate pip install -r doc/sphinx/requirements.txt make htmldocs + make infodocs - job: todo displayName: 'Search for TODO within source tree' |