[gnome-ostree] glade: disable man pages

[Matthias Clasen <matthiasc src gnome org>]

commit 3f4abca3e2a246eec20711bbd2a9969281c76bc2
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed Jun 26 14:05:16 2013 -0400

    glade: disable man pages
    
    Until we have docbook in ostree, this has to stay off.

 manifest.json |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 61eb906..94f8d88 100644
--- a/manifest.json
+++ b/manifest.json
@@ -861,6 +861,7 @@
                {"src": "gnome:gnome-clocks"},
 
                {"src": "gnome:glade",
+                "config-opts": ["--disable-man-pages"]},
                 "component": "devel"},
 
                {"src": "gnome:nautilus"},