Do not build HTML docs.