diff options
| author | Diego Biurrun <diego@biurrun.de> | 2011-12-07 21:49:53 +0100 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2011-12-08 01:01:00 +0100 |
| commit | 47b20a1db07552fa6071fb7368534dda0b0f5546 (patch) | |
| tree | e7d5de4991309df480373ac30642f869606c6c49 /doc/Makefile | |
| parent | 4dccfff9dd01d6c45731cda21fc6ea0a649d6581 (diff) | |
build: merge lists of HTML documentation targets
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 01960b74b0..ca403d5bf7 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,8 +1,12 @@ MANPAGES = $(PROGS-yes:%=doc/%.1) PODPAGES = $(PROGS-yes:%=doc/%.pod) -HTMLPAGES = $(PROGS-yes:%=doc/%.html) +HTMLPAGES = $(PROGS-yes:%=doc/%.html) \ + doc/developer.html \ + doc/faq.html \ + doc/general.html \ + doc/libavfilter.html \ -DOCS = $(addprefix doc/, developer.html faq.html general.html libavfilter.html) $(HTMLPAGES) $(MANPAGES) $(PODPAGES) +DOCS = $(HTMLPAGES) $(MANPAGES) $(PODPAGES) all-$(CONFIG_DOC): documentation |