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