Makefile: build docs only for enabled tools; fix docs dependencies
authorMans Rullgard <mans@mansr.com>
Tue, 1 Feb 2011 02:23:30 +0000 (02:23 +0000)
committerMichael Niedermayer <michaelni@gmx.at>
Wed, 2 Feb 2011 02:40:50 +0000 (03:40 +0100)
This makes "make documentation" build the man/html pages only for
the tools enabled in the build.  It also fixes the dependency
tracking for the built man pages.

Signed-off-by: Mans Rullgard <mans@mansr.com>
(cherry picked from commit 7f939f55bb79f962adc96b6b45e288dbb0069a67)

Makefile

index fb9d8a4..a2d90ca 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -112,7 +112,7 @@ version.h .version:
 
 alltools: $(TOOLS)
 
-DOCS = $(addprefix doc/, developer.html faq.html general.html libavfilter.html $(ALLHTMLPAGES) $(ALLMANPAGES))
+DOCS = $(addprefix doc/, developer.html faq.html general.html libavfilter.html) $(HTMLPAGES) $(MANPAGES) $(PODPAGES)
 
 documentation: $(DOCS)