[anjuta] devhelp: Fix build with non-embedded devhelp

[Johannes Schmid <jhs src gnome org>]

commit 75e19339e0b711472c982f5865f6b41c4a1a507e
Author: Johannes Schmid <jhs gnome org>
Date:   Thu Jan 6 18:03:00 2011 +0100

    devhelp: Fix build with non-embedded devhelp

 plugins/devhelp/plugin.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/plugins/devhelp/plugin.c b/plugins/devhelp/plugin.c
index 872e9ae..d1b238e 100644
--- a/plugins/devhelp/plugin.c
+++ b/plugins/devhelp/plugin.c
@@ -252,7 +252,11 @@ static GtkActionEntry actions[] = {
 	},
 	{
 		"ActionHelpSearch",
+#ifndef DISABLE_EMBEDDED_DEVHELP
 		ANJUTA_STOCK_DEVHELP_SEARCH,
+#else
+		NULL,
+#endif
 		N_("_Search Help"),
 		NULL,
 		N_("Search for a term in help"),