configure: print if the docs building tools have been found
authorMichael Niedermayer <michaelni@gmx.at>
Mon, 16 Jul 2012 12:45:41 +0000 (14:45 +0200)
committerMichael Niedermayer <michaelni@gmx.at>
Mon, 16 Jul 2012 12:45:41 +0000 (14:45 +0200)
commit8486c8cc9a0af420826ba174ab0c4391e0b2d42d
tree7e32033e356d9d84911c5e5712b1fc52ff5afca3
parent45641014d3ba1dd3d63e31d55154984acd10c65f
configure: print if the docs building tools have been found

Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
configure