amend index.html for the correct manual names
[spider.git] / perl / MiscLog.pm