Re: [PATCH v3] doc: add texinfodocs and infodocs targets