aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdrien Devresse <adrien.devresse@epfl.ch>2016-09-20 14:31:23 +0000
committerAdrien Devresse <adrien.devresse@epfl.ch>2016-09-20 14:34:43 +0000
commit7ef053c6327441bc7306ff6ee12fde2a42301ab4 (patch)
tree5b9ac53cf5148c6a55399b95cd5ff8c994b26c3c
parent0d38b4c7926890decbe2b03ed8f84584a5ce9b8a (diff)
Add a new option to disable documentation generation at configure time
-rw-r--r--Makefile.config.in1
-rw-r--r--configure.ac7
-rw-r--r--doc/manual/local.mk9
3 files changed, 17 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in
index 3e7847e36..2db7172b1 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -33,5 +33,6 @@ pkglibdir = $(libdir)/$(PACKAGE_NAME)
prefix = @prefix@
storedir = @storedir@
sysconfdir = @sysconfdir@
+doc_generate = @doc_generate@
xmllint = @xmllint@
xsltproc = @xsltproc@
diff --git a/configure.ac b/configure.ac
index 1ae0e782d..91ed9947a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -265,6 +265,13 @@ AC_ARG_ENABLE(init-state, AC_HELP_STRING([--disable-init-state],
#AM_CONDITIONAL(INIT_STATE, test "$init_state" = "yes")
+# documentation generation switch
+AC_ARG_ENABLE(doc-gen, AC_HELP_STRING([--disable-doc-gen],
+ [disable documentation generation]),
+ doc_generate=$enableval, doc_generate=yes)
+AC_SUBST(doc_generate)
+
+
# Setuid installations.
AC_CHECK_FUNCS([setresuid setreuid lchown])
diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index d89555899..4376c3644 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -1,3 +1,6 @@
+
+ifeq ($(doc_generate),yes)
+
XSLTPROC = $(xsltproc) --nonet $(xmlflags) \
--param section.autolabel 1 \
--param section.label.includes.component.label 1 \
@@ -71,8 +74,14 @@ $(foreach file, $(wildcard $(d)/images/callouts/*.gif), $(eval $(call install-da
$(eval $(call install-symlink, manual.html, $(docdir)/manual/index.html))
+
all: $(d)/manual.html
+
+
clean-files += $(d)/manual.html
dist-files += $(d)/manual.html
+
+
+endif