Since we ignore -html anyway, no reason to default to no_docs.

Also, use a more appropriate target to build documentation.
In theory, this shoud result not only in HTML documentation being
built, but this should be dealt later, when qdoc segfaults will
get fixed.