diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2012-07-16 14:45:41 +0200 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2012-07-16 14:45:41 +0200 |
commit | 8486c8cc9a0af420826ba174ab0c4391e0b2d42d (patch) | |
tree | 7e32033e356d9d84911c5e5712b1fc52ff5afca3 /configure | |
parent | 45641014d3ba1dd3d63e31d55154984acd10c65f (diff) | |
download | ffmpeg-streaming-8486c8cc9a0af420826ba174ab0c4391e0b2d42d.zip ffmpeg-streaming-8486c8cc9a0af420826ba174ab0c4391e0b2d42d.tar.gz |
configure: print if the docs building tools have been found
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -3726,6 +3726,9 @@ echo "openal enabled ${openal-no}" echo "openssl enabled ${openssl-no}" echo "zlib enabled ${zlib-no}" echo "bzlib enabled ${bzlib-no}" +echo "texi2html enabled ${texi2html-no}" +echo "pod2man enabled ${pod2man-no}" +echo "makeinfo enabled ${makeinfo-no}" test -n "$random_seed" && echo "random seed ${random_seed}" echo |