[gnome-builder] libide: use devhelp search provider

[Christian Hergert <chergert src gnome org>]

commit 89e75a332e420e384c06f92c58b61019364eb1e5
Author: Erick Pérez Castellanos <erick red gmail com>
Date:   Fri Feb 27 15:07:01 2015 -0500

    libide: use devhelp search provider
    
    https://bugzilla.gnome.org/show_bug.cgi?id=744899

 libide/Makefile.am |    1 +
 libide/ide.c       |    6 ++++++
 2 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/libide/Makefile.am b/libide/Makefile.am
index 0490048..00b9a17 100644
--- a/libide/Makefile.am
+++ b/libide/Makefile.am
@@ -238,6 +238,7 @@ libide_1_0_la_includes = \
        -I$(top_srcdir)/libide/autotools \
        -I$(top_srcdir)/libide/c \
        -I$(top_srcdir)/libide/clang \
+       -I$(top_srcdir)/libide/devhelp \
        -I$(top_srcdir)/libide/directory \
        -I$(top_srcdir)/libide/fuzzy \
        -I$(top_srcdir)/libide/gca \
diff --git a/libide/ide.c b/libide/ide.c
index 490f3ff..faaf04b 100644
--- a/libide/ide.c
+++ b/libide/ide.c
@@ -25,6 +25,7 @@
 #include "ide-autotools-build-system.h"
 #include "ide-c-language.h"
 #include "ide-clang-service.h"
+#include "ide-devhelp-search-provider.h"
 #include "ide-directory-build-system.h"
 #include "ide-directory-vcs.h"
 #include "ide-editorconfig-file-settings.h"
@@ -128,6 +129,11 @@ ide_init_ctor (void)
                                   -100);
 
   g_io_extension_point_implement (IDE_SEARCH_PROVIDER_EXTENSION_POINT,
+                                  IDE_TYPE_DEVHELP_SEARCH_PROVIDER,
+                                  IDE_SEARCH_PROVIDER_EXTENSION_POINT".devhelp",
+                                  -100);
+
+  g_io_extension_point_implement (IDE_SEARCH_PROVIDER_EXTENSION_POINT,
                                   IDE_TYPE_GIT_SEARCH_PROVIDER,
                                   IDE_SEARCH_PROVIDER_EXTENSION_POINT".git",
                                   -100);