[gnome-ostree] manifest: Explicitly disable gnome-session docs

[Colin Walters <walters src gnome org>]

commit 24af78df653fe3c15ab387eaa251ed9376383a89
Author: Colin Walters <walters verbum org>
Date:   Tue Nov 13 13:14:53 2012 -0500

    manifest: Explicitly disable gnome-session docs
    
    Since we don't have Docbook.

 manifest.json |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 54868c5..03fe21b 100644
--- a/manifest.json
+++ b/manifest.json
@@ -808,7 +808,9 @@
 
 		{"src": "gnome:gnome-screensaver"},
 
-		{"src": "gnome:gnome-session"},
+		{"src": "gnome:gnome-session",
+		 "config-opts": ["--disable-docbook-docs",
+				 "--disable-man"]},
 
 		{"src": "gnome:gnome-settings-daemon",
 		 "config-opts": ["--disable-packagekit",