[PATCH 1/1] azure: build HTML documentation