Do not build HTML docs.
