amend index.html for the correct manual names
authorg0vgs <g0vgs>
Fri, 14 Feb 2003 13:14:08 +0000 (13:14 +0000)
committerg0vgs <g0vgs>
Fri, 14 Feb 2003 13:14:08 +0000 (13:14 +0000)

No differences found