fix some minor problems with the manuals (g0vgs)
[spider.git] / contrib /
drwxr-xr-x   ..
drwxr-xr-x - g0rdi