stupid mistake: /usr/info/dir wiped out!

[Ossama Othman <othman@astrosun.tn.cornell.edu>]

Hi,

I did something stupid.  I accidentally erased all but the *.gz files in
/usr/info.  Could someone please tell me how I can bring my /usr/info
directory to a consistent state?  I was intending to just erase the
uncompressed info files but forgot about the 'dir' file.

Thanks,
-Ossama

______________________________________________________________________
Ossama Othman <othman@astrosun.tn.cornell.edu>
58 60 1A E8 7A 66 F4 44  74 9F 3C D4 EF BF 35 88  1024/8A04D15D 1998/08/26