diff options
| author | jamal <jamrial@gmail.com> | 2012-07-11 22:41:25 -0300 |
|---|---|---|
| committer | Stefano Sabatini <stefasab@gmail.com> | 2012-07-14 11:47:01 +0200 |
| commit | 3e03f8d8b202b4548c6fb42f66fff4827e724085 (patch) | |
| tree | 6199d379857f2986d7eeeb43703ccaf8dd0dd11f /doc/Makefile | |
| parent | bd58f00ec150456a7a8b82f0395d5e9e840edae5 (diff) | |
build: Fix documentation dependencies and rules
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index b297eaa9d4..37635d0f5f 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -12,10 +12,10 @@ HTMLPAGES = $(PROGS-yes:%=doc/%.html) \ TXTPAGES = doc/fate.txt \ -DOCS = $(HTMLPAGES) $(MANPAGES) $(PODPAGES) -ifdef HAVE_MAKEINFO -DOCS += $(TXTPAGES) -endif +DOCS-$(HAVE_TEXI2HTML) += $(HTMLPAGES) +DOCS-$(HAVE_POD2MAN) += $(MANPAGES) $(PODPAGES) +DOCS-$(HAVE_MAKEINFO) += $(TXTPAGES) +DOCS = $(DOCS-yes) all-$(CONFIG_DOC): documentation @@ -53,11 +53,15 @@ doc/%.1: doc/%.pod $(GENTEXI) $(DOCS): | doc/ +install-man: + +ifdef HAVE_POD2MAN install-progs-$(CONFIG_DOC): install-man install-man: $(MANPAGES) $(Q)mkdir -p "$(MANDIR)/man1" $(INSTALL) -m 644 $(MANPAGES) "$(MANDIR)/man1" +endif uninstall: uninstall-man |