The attached patch allows to disable documentation
building also when doxygen is present by
using ./configure --disable-doc.
The API documentation takes a lot of time to build,
and many people won't need it anyway.
Diego "Flameeyes" Pettenò
Log in to post a comment.