[gnome-ostree] Disable man page generation for gnome-shell

[Matthias Clasen <matthiasc src gnome org>]

commit cdaf6dbc0fa4842e7a8c6fb97a4a3837113396d1
Author: Matthias Clasen <mclasen redhat com>
Date:   Mon Nov 5 23:41:12 2012 -0500

    Disable man page generation for gnome-shell

 manifest.json |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 5d45c4e..504a212 100644
--- a/manifest.json
+++ b/manifest.json
@@ -820,7 +820,8 @@
 
 		{"src": "gnome:gnome-shell",
 		 "config-opts": ["--enable-compile-warnings=maximum",
-		                 "--without-folks"]},
+		                 "--without-folks",
+                                 "--disable-man"]},
 
 		{"src": "gnome:libgtop"},