[gnome-builder/document-manager] GbDevhelpDocument: stub out set_search()

[Christian Hergert <chergert src gnome org>]

commit 93df3c9e249f471a9913cd604ccaf5f2932660ff
Author: Christian Hergert <christian hergert me>
Date:   Tue Dec 9 16:41:57 2014 -0800

    GbDevhelpDocument: stub out set_search()

 src/devhelp/gb-devhelp-document.c |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/src/devhelp/gb-devhelp-document.c b/src/devhelp/gb-devhelp-document.c
index d18027a..a8f75d1 100644
--- a/src/devhelp/gb-devhelp-document.c
+++ b/src/devhelp/gb-devhelp-document.c
@@ -50,6 +50,13 @@ gb_devhelp_document_new (void)
   return g_object_new (GB_TYPE_DEVHELP_DOCUMENT, NULL);
 }
 
+void
+gb_devhelp_document_set_search (GbDevhelpDocument *document,
+                                const gchar       *search)
+{
+  g_return_if_fail (GB_IS_DEVHELP_DOCUMENT (document));
+}
+
 const gchar *
 gb_devhelp_document_get_title (GbDocument *document)
 {