[gnome-ostree] manifest: track gnome-terminal master

[Javier JardÃn <jjardon src gnome org>]

commit ec736530a904b7fa64ea690e8f1d38686faf7902
Author: Javier JardÃn <jjardon gnome org>
Date:   Fri Jan 4 19:46:59 2013 +0000

    manifest: track gnome-terminal master

 manifest.json                             |    5 +--
 patches/gnome-terminal-disable-docs.patch |   44 -----------------------------
 2 files changed, 1 insertions(+), 48 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index e54976d..1bd2484 100644
--- a/manifest.json
+++ b/manifest.json
@@ -837,10 +837,7 @@
 		{"src": "gnome:vte",
 		 "branch": "vte-0-34"},
 
-		{"src": "gnome:gnome-terminal",
-		 "patches": ["gnome-terminal-disable-docs.patch"],
-		 "branch": "gnome-3-4",
-		 "config-opts": ["--disable-documentation"]},
+		{"src": "gnome:gnome-terminal"},
 
 		{"src": "git:git://git.kernel.org/pub/scm/utils/dash/dash.git"},