(TXT) 00index.txt
 (TXT) diskt1
 (BIN) dvi2xx.tgz
 (BIN) gentle.tgz
 (TXT) maketag
 (BIN) manifest.gz
 (TXT) readme.tex
 (TXT) tagfile
 (TXT) tagfile.org
 (TXT) tagfile.pat
 (BIN) texbin.tgz