diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 9 |
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) |