Doc generation from Travis builds