../ Makefile 11-Oct-1993 22:45 2515 Makefile.in 09-Aug-1993 11:03 2261 deref.c 09-Aug-1993 11:04 4591 fixfonts 09-Aug-1993 11:04 2488 mkinstalldirs 09-Aug-1993 11:04 619 tex3patch 09-Aug-1993 11:04 1845 texi2dvi 09-Aug-1993 11:04 9344 texindex.c 09-Aug-1993 11:04 39717