summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorJames Almer <jamrial@gmail.com>2013-11-24 18:40:16 -0300
committerMichael Niedermayer <michaelni@gmx.at>2013-11-25 01:53:12 +0100
commiteff2edae562096c1e21e8c048392ffe8968181f2 (patch)
tree348071897ce6d64b52bf5288fdf3546ad43640a6 /configure
parent5e1c57f5cb4e1933ec743d3000941aacc2ac6837 (diff)
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-xconfigure2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index c581adfc10..6b0375bdff 100755
--- a/configure
+++ b/configure
@@ -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