summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorStefano Sabatini <stefasab@gmail.com>2012-08-09 23:37:28 +0200
committerStefano Sabatini <stefasab@gmail.com>2012-08-13 12:22:02 +0200
commitc3da2c19e4e5e95dcc598ea303c70485c51fac6d (patch)
tree992aa809c5a2892dcae8d051114ad33fdc1300dd /doc/Makefile
parentae60d2c877e452c623fbe8e3129326cc0e26a1da (diff)
build: extend documentation building mechanism
Allow to select specific documentation components, and reliably check for component dependencies. In particular, check for perl presence on the system.
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile9
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 723b05e3c3..3fe6921fcf 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -12,9 +12,10 @@ HTMLPAGES = $(PROGS-yes:%=doc/%.html) \
TXTPAGES = doc/fate.txt \
-DOCS-$(HAVE_TEXI2HTML) += $(HTMLPAGES)
-DOCS-$(HAVE_POD2MAN) += $(MANPAGES) $(PODPAGES)
-DOCS-$(HAVE_MAKEINFO) += $(TXTPAGES)
+DOCS-$(CONFIG_HTMLPAGES) += $(HTMLPAGES)
+DOCS-$(CONFIG_PODPAGES) += $(PODPAGES)
+DOCS-$(CONFIG_MANPAGES) += $(MANPAGES)
+DOCS-$(CONFIG_TXTPAGES) += $(TXTPAGES)
DOCS = $(DOCS-yes)
all-$(CONFIG_DOC): documentation
@@ -53,7 +54,7 @@ $(DOCS): | doc/
install-man:
-ifdef HAVE_POD2MAN
+ifdef CONFIG_MANPAGES
install-progs-$(CONFIG_DOC): install-man
install-man: $(MANPAGES)