ostree/gnomeos/3.4/g-c-c-disable-docs.patch

48 lines
1.2 KiB
Diff

From b9c16442af191dfb2df3f7a554946990c2519d99 Mon Sep 17 00:00:00 2001
From: Colin Walters <walters@verbum.org>
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