diff options
| author | Mans Rullgard <mans@mansr.com> | 2011-02-01 02:23:30 +0000 |
|---|---|---|
| committer | Michael Niedermayer <michaelni@gmx.at> | 2011-02-02 03:40:50 +0100 |
| commit | 850e9c6d48c56f3652dc5073a06b09de54f52d82 (patch) | |
| tree | 9f0c375c01d39b2e9b291febead6ec686dcd90ae | |
| parent | 5ad4335c2233d5a6d9487d2d56387b7484aecded (diff) | |
| download | ffmpeg-850e9c6d48c56f3652dc5073a06b09de54f52d82.tar.gz | |
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 <mans@mansr.com>
(cherry picked from commit 7f939f55bb79f962adc96b6b45e288dbb0069a67)
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |