[gnome-shell] ci: Turn off man pages

[Florian Müllner <fmuellner src gnome org>]

commit 803a096b7e22ae2fe46e35391880075d45560224
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Aug 21 17:57:11 2019 +0200

    ci: Turn off man pages
    
    There is little to test there, and excluding them slightly reduces the
    dependencies in the CI image.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234

 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 49eb6e32bf..a284b75b7c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -54,7 +54,7 @@ build:
         - meson mutter mutter/build --prefix=/usr -Dtests=false
         - ninja -C mutter/build install
     script:
-        - meson . build -Dbuiltype=debugoptimized
+        - meson . build -Dbuiltype=debugoptimized -Dman=false
         - ninja -C build
         - ninja -C build install
     <<: *only_default