From 850e9c6d48c56f3652dc5073a06b09de54f52d82 Mon Sep 17 00:00:00 2001 From: Mans Rullgard Date: Tue, 1 Feb 2011 02:23:30 +0000 Subject: [PATCH] Makefile: build docs only for enabled tools; fix docs dependencies 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 (cherry picked from commit 7f939f55bb79f962adc96b6b45e288dbb0069a67) --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index fb9d8a494e..a2d90cae3e 100644 --- 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)