[gnome-panel] build: Add --disable-documentation option

[Vincent Untz <vuntz src gnome org>]

commit ad0226e1c9d306344fba53be99f83632632efe4f
Author: Colin Walters <walters verbum org>
Date:   Thu Jan 26 18:11:10 2012 -0500

    build: Add --disable-documentation option
    
    Useful for operating system builders who want to avoid cyclic build
    dependencies.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=670689

 configure.ac     |    5 +++++
 help/Makefile.am |    6 +++++-
 2 files changed, 10 insertions(+), 1 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index cf3ee36..4390cb1 100644
--- a/configure.ac
+++ b/configure.ac
@@ -22,6 +22,11 @@ AC_SUBST(LIB_PANEL_APPLET_LT_VERSION)
 
 GNOME_MAINTAINER_MODE_DEFINES
 
+AC_ARG_ENABLE([documentation],
+	AS_HELP_STRING([--enable-documentation], [enable man pages and HTML]),
+	[], [enable_documentation=yes])
+AM_CONDITIONAL(ENABLE_DOCUMENTATION, test x$enable_documentation = xyes)
+
 LT_PREREQ([2.2.6])
 LT_INIT([dlopen disable-static])
 
diff --git a/help/Makefile.am b/help/Makefile.am
index 7d38ddd..8c08634 100644
--- a/help/Makefile.am
+++ b/help/Makefile.am
@@ -1,3 +1,7 @@
-SUBDIRS = clock fish
+DIST_SUBDIRS = clock fish
+SUBDIRS =
+if ENABLE_DOCUMENTATION
+SUBDIRS += $(DIST_SUBDIRS)
+endif
 
 -include $(top_srcdir)/git.mk