[PATCH] doc: add texinfodocs and infodocs targets