From b9c16442af191dfb2df3f7a554946990c2519d99 Mon Sep 17 00:00:00 2001 From: Colin Walters Date: Sat, 21 Jan 2012 11:10:42 -0500 Subject: [PATCH] build: Add a --disable-documentation option Allows OS builders to bootstrap more easily. --- Makefile.am | 6 +++++- configure.ac | 4 ++++ 2 files changed, 9 insertions(+), 1 deletions(-) diff --git a/Makefile.am b/Makefile.am index 4931964..05d5b3c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,8 +1,12 @@ ACLOCAL_AMFLAGS = -I m4 ${ACLOCAL_FLAGS} -SUBDIRS = po shell panels help +SUBDIRS = po shell panels DIST_SUBDIRS = po help shell panels +if ENABLE_DOCUMENTATION +SUBDIRS += help +endif + DISTCLEANFILES = \ gnome-doc-utils.make diff --git a/configure.ac b/configure.ac index a37af2a..c2cc6dc 100644 --- a/configure.ac +++ b/configure.ac @@ -19,6 +19,10 @@ AC_HEADER_STDC LT_PREREQ([2.2]) LT_INIT +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) # Use the GNOME documentation framework GNOME_DOC_INIT -- 1.7.6.5