minor corrections to manuals
[spider.git] / html / usermanual_en-4.html
2003-02-14 g0vgsChanges to manual namings to standardise. Added script...