aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorStefano Sabatini2012-11-07 23:11:02 +0100
committerStefano Sabatini2012-11-07 23:18:11 +0100
commit58d1d7024d6dfa3f8cff8d809abdf346534bdaac (patch)
treea2ff7d2b915e2779f4c90593100c9e29f8218aad /doc
parent1c6962dc20dc902c27afe0d0f62327b941662ed2 (diff)
doc/Makefile: change DOCLIBS check
More consistent with the rest of the build system, and more compact.
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile10
1 files changed, 4 insertions, 6 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 9fa8382ee5..05d016fa2e 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,10 +1,8 @@
-ifeq ($(CONFIG_AVCODEC),yes)
-DOCLIBS += libavcodec
-endif
+DOCLIBS-$(CONFIG_AVCODEC) += libavcodec
-MANPAGES = $(PROGS-yes:%=doc/%.1) $(DOCLIBS:%=doc/%.3)
-PODPAGES = $(PROGS-yes:%=doc/%.pod) $(DOCLIBS:%=doc/%.pod)
-HTMLPAGES = $(PROGS-yes:%=doc/%.html) $(DOCLIBS:%=doc/%.html) \
+MANPAGES = $(PROGS-yes:%=doc/%.1) $(DOCLIBS-yes:%=doc/%.3)
+PODPAGES = $(PROGS-yes:%=doc/%.pod) $(DOCLIBS-yes:%=doc/%.pod)
+HTMLPAGES = $(PROGS-yes:%=doc/%.html) $(DOCLIBS-yes:%=doc/%.html) \
doc/developer.html \
doc/faq.html \
doc/fate.html \