[gnome-builder/wip/project-selector: 7/10] libide: add autotools miner to public API

[Christian Hergert <chergert src gnome org>]

commit 56a595260cf8d436c417eb982d3d371c33dcfbcd
Author: Christian Hergert <christian hergert me>
Date:   Mon Mar 30 00:17:04 2015 -0700

    libide: add autotools miner to public API

 libide/ide.h |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/libide/ide.h b/libide/ide.h
index 62ba0b6..7a56603 100644
--- a/libide/ide.h
+++ b/libide/ide.h
@@ -88,6 +88,7 @@ G_BEGIN_DECLS
 #include "ide-vcs.h"
 
 #include "autotools/ide-autotools-build-system.h"
+#include "autotools/ide-autotools-project-miner.h"
 #include "devhelp/ide-devhelp-search-result.h"
 #include "directory/ide-directory-build-system.h"
 #include "directory/ide-directory-vcs.h"