diff options
author | Niels De Graef <nielsdegraef@gmail.com> | 2018-01-25 22:11:11 +0100 |
---|---|---|
committer | Niels De Graef <nielsdegraef@gmail.com> | 2018-01-25 22:11:11 +0100 |
commit | 80c33aee1776aafd2378509938f8228251288738 (patch) | |
tree | 5bb6af14b47b4d941084b6ba3980792b2092d415 /.gitlab-ci.yml | |
parent | c53bf2fa5ee5dcaf6704e2fa4a5cea9b3af924ec (diff) | |
download | gnome-contacts-80c33aee1776aafd2378509938f8228251288738.tar.gz |
CI: Don't build man pages.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9561325..31438f6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -24,6 +24,6 @@ before_script: build-gnome-contacts: stage: build script: - - meson _build . + - meson -Dwith-manpage=false _build . - ninja -v -C _build - ninja -v -C _build install |