*Title: GNU Texinfo *Size: 293556 +bin-texinfo +collection-basic +texinfo texmf/tpm/collection-texinfo.tpm texmf/lists/collection-texinfo