[gnome-continuous] Update config-opts for fribidi

[Emmanuele Bassi <ebassi src gnome org>]

commit f435942433e80f750c1db7b293ac8cf9a084ac58
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Wed Feb 14 14:10:33 2018 +0000

    Update config-opts for fribidi
    
    If we don't disable the documentation, c2man becomes a required
    dependency.

 manifest.json |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 18d5daf..83a7469 100644
--- a/manifest.json
+++ b/manifest.json
@@ -572,7 +572,8 @@
 
                 {"src": "git:https://github.com/fribidi/fribidi.git";,
                  "name": "fribidi",
-                 "patches": ["fribidi-no-parallel.patch"]},
+                 "patches": ["fribidi-no-parallel.patch"],
+                 "config-opts": ["--disable-docs"]},
 
                {"src": "gnome:pango",
                 "config-opts": ["-Denable_docs=false"]},