rickp@vu-vlsi.UUCP (Rick Perry) (09/02/86)
It seems that the latest map posting's DONE file was empty... This file used to contain a list of what map files had been posted and I found this useful in checking for extraneous or missing files in our map dir.