[PATCH v2] doc: add texinfodocs and infodocs targets