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