/Build/source/texk/tetex/doc/
../
Makefile
TETEXDOC.bib
TETEXDOC.dvi
TETEXDOC.pdf
TETEXDOC.ps
TETEXDOC.tex
teTeX-FAQ