minor changes to the manuals
[spider.git] / perl / MiscLog.pm