[mutter] ci: Don't build gnome-shell's man pages

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit 9d4e4e2bd4426d40991450d7c723ae032b3706ed
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Aug 21 22:30:41 2019 +0200

    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