amend index.html for the correct manual names
[spider.git] / txt / usermanual_en.txt
2003-02-14 g0vgsChanges to manual namings to standardise. Added script...