doc: add texinfodocs and infodocs targets