/systems/knuth/dist/mf/
../
mf.web
mfbook.tex
trap.72270gf
trap.fot
trap.log
trap.mf
trap.pl
trap.typ
trapin.fot
trapin.log
trapman.tex