/support/dbtex/
../
dbtex.awk
dbtex.dvi
dbtex.tex
dbtexsrc.tex
germtex.tbl
read.me
refman.sty
tex.tbl
tgrindn.sty
verbatim.sty