--rw-rw-r-- M 53 bootes sys 84932 Apr 5 1999 ind.dvi --rw-rw-r-- M 53 bootes sys 21952 Apr 5 1999 makeindex.dvi Go to parent directory