From 9d4e4e2bd4426d40991450d7c723ae032b3706ed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 21 Aug 2019 22:30:41 +0200 Subject: [PATCH] ci: Don't build gnome-shell's man pages One of the man pages is now generated using asciidoc, which is missing from the CI image. But given that this doesn't depend on mutter in any way, just disable man pages in the gnome-shell build instead of updating the Dockerfile. https://gitlab.gnome.org/GNOME/mutter/merge_requests/740 --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6387bbf24..aceb9ed6c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -72,7 +72,7 @@ can-build-gnome-shell: - meson install --no-rebuild -C build script: - .gitlab-ci/checkout-gnome-shell.sh - - meson gnome-shell gnome-shell/build --prefix /usr + - meson gnome-shell gnome-shell/build --prefix /usr -Dman=false - ninja -C gnome-shell/build install only: - merge_requests