Re: [PATCH 2/2] travis: build HTML docs