summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorStefano Sabatini <stefasab@gmail.com>2012-07-11 17:38:46 +0200
committerStefano Sabatini <stefasab@gmail.com>2012-07-14 11:38:53 +0200
commit5a6c7a218cdf2fa8a1cfd3a3dc2b61d736002c98 (patch)
treef8920f6489be276736fcb9c2b000cab0d4575b09 /doc/Makefile
parent825e1e2437494ce5d90fe27c8a73b47147d6419c (diff)
doc: merge libavfilter.texi into filters.texi
There is no much point into splitting documentation for filters. Also having a separate document for a library is inconsistent.
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 16f6a0d43e..b297eaa9d4 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,7 +6,6 @@ HTMLPAGES = $(PROGS-yes:%=doc/%.html) \
doc/fate.html \
doc/general.html \
doc/git-howto.html \
- doc/libavfilter.html \
doc/platform.html \
doc/syntax.html \