[FFmpeg-devel] [PATCH 1/2] Makefile: build docs only for enabled tools; fix docs dependencies

Mans Rullgard mans
Tue Feb 1 03:25:21 CET 2011

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 at mansr.com>
 Makefile |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/Makefile b/Makefile
index fb9d8a4..a2d90ca 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)

More information about the ffmpeg-devel mailing list