--rw-rw-r-- M 54 stevesimon sys 34 Apr 5 1999 texinfo.ini --rw-rw-r-- M 54 bootes sys 159650 Apr 5 1999 texinfo.tex Go to parent directory