../ 00-README 15-Feb-1995 00:00 774 MakeTeXMF 15-Feb-1995 00:00 1325 MakeTeXPK 15-Mar-1995 00:00 9835 MakeTeXTFM 15-Feb-1995 00:00 8312 append_db 15-Feb-1995 00:00 764 maketex.c 16-Feb-1995 00:00 2649 safeMakeTeXPK.tex 16-Feb-1995 00:00 13K