diff options
author | Matthias Dressel <code@deadcode.eu> | 2021-12-17 18:40:01 +0300 |
---|---|---|
committer | Matthias Dressel <code@deadcode.eu> | 2021-12-29 19:25:37 +0300 |
commit | 3e5b7d377037888ef4c74fe268f71f6b935124ab (patch) | |
tree | ab0216c01d2df79d13e471b2f58bc844c8c52911 /.gitlab-ci.yml | |
parent | 5e67cfd8062c949a81bac6b2d5ce6e6fbfd8978e (diff) |
CI: Add enable_docs option
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b844803..000eaa5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -674,6 +674,7 @@ test-debian-armv7-clang-5: script: - meson build --buildtype release --werror + -Denable_docs=true - ninja -C build doc/html - mv build/doc/html public artifacts: |