diff options
author | Nick Mathewson <nickm@torproject.org> | 2020-08-11 11:06:21 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2020-08-11 11:06:49 -0400 |
commit | 6a91a50d32c6d3beaa059660881e0c338b147b1b (patch) | |
tree | 4e4ff159702d4579e0bd06a6b09253e89878d936 | |
parent | aa2c93b90b0745a07397538bf7802fba83096b68 (diff) | |
download | tor-6a91a50d32c6d3beaa059660881e0c338b147b1b.tar.gz tor-6a91a50d32c6d3beaa059660881e0c338b147b1b.zip |
CI: enable documentation testing
-rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5a46c1a0e3..abc5003678 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -105,12 +105,13 @@ debian-distcheck: script: - ./scripts/ci/ci-driver.sh +# TODO: it would be neat to disable the "make all" part of this one. debian-docs: image: debian:stable <<: *debian-template variables: - DOXYGEN: "no" - ASCIIDOC: "no" + DOXYGEN: "yes" + ASCIIDOC: "yes" CHECK: "no" script: - ./scripts/ci/ci-driver.sh |