Re: [PATCH 1/1] doc: build infodocs target on Gitlab CI, Azure