amend index.html for the correct manual names
[spider.git] / cmd / do.pl
2001-04-04 minimaadd do command