/systems/knuth/local/etc/
../
Makefile
addencodings.pl
dvityext.h
texwarext.h
vftovp.ch
vftovp.p
vptovf.ch
vptovf.p