What do you mean by "required by the installation" ?
I think it is only required to generate the documentation. The generated documentation is already in the source tarball and is not built again when issuing make, that's why the configure check isn't needed.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=27448
Originator: NO
What do you mean by "required by the installation" ?
I think it is only required to generate the documentation. The generated documentation is already in the source tarball and is not built again when issuing make, that's why the configure check isn't needed.