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