[gnome-continuous] Disable man pages when building Tracker

[Emmanuele Bassi <ebassi src gnome org>]

commit 3703c887b05d5aec91b08a3f73e296410640d7bd
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Mon Feb 18 17:56:24 2019 +0000

    Disable man pages when building Tracker
    
    The MR at GNOME/tracker!58 decouples the documentation from the man
    pages, so we need to disable everything twice.

 manifest.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/manifest.json b/manifest.json
index c17055d..3b8d3dd 100644
--- a/manifest.json
+++ b/manifest.json
@@ -950,7 +950,8 @@
                {"src": "gnome:tracker.git",
                  "name": "tracker",
                  "config-opts": ["-Dunicode-support=icu",
-                                 "-Ddocs=false"]},
+                                 "-Ddocs=false",
+                                 "-Dman=false"]},
 
                {"src": "gnome:libgrss.git",
                  "name": "libgrss"},