Disable code coverage

Not used and not available Also, Drop check for hotdoc in configure script

Signed-off-by: Ritesh Raj Sarraf ritesh.sarraf@collabora.com

unassigned @ritesh

requested review from @em

I understand the reason behind dropping hotdoc, however it is not clear to me the reason behind dropping code coverage, is it related to hotdoc?

approved this merge request

resolved all threads

merged