*Title: GNU Texinfo *Size: 1555 +collection-basic +texinfo +bin-texinfo texmf/lists/collection-texinfo