diff options
author | James Almer <jamrial@gmail.com> | 2013-11-24 18:40:16 -0300 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2013-11-25 01:53:12 +0100 |
commit | eff2edae562096c1e21e8c048392ffe8968181f2 (patch) | |
tree | 348071897ce6d64b52bf5288fdf3546ad43640a6 /configure | |
parent | 5e1c57f5cb4e1933ec743d3000941aacc2ac6837 (diff) | |
download | ffmpeg-eff2edae562096c1e21e8c048392ffe8968181f2.tar.gz |
Partially revert "Merge commit 'f187557ab4612776f7f527ecf3d40062975c3e4c'"
This partially reverts commit c0237d19a0269ff44e909434f1b2b645fad2d281
Some scripts make use of --disable-doc
Signed-off-by: James Almer <jamrial@gmail.com>
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1228,6 +1228,7 @@ EXTERNAL_LIBRARY_LIST=" " DOCUMENT_LIST=" + doc htmlpages manpages podpages @@ -2294,6 +2295,7 @@ podpages_deps="perl" manpages_deps="perl pod2man" htmlpages_deps="texi2html" txtpages_deps="makeinfo" +doc_deps_any="manpages htmlpages podpages txtpages" # default parameters |