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)
commit420baffd9a393a4954bc553b03bf77fb45bc86cd
treed873b30a185075c6779dc471cbf56cad659e9196
parent0fcb7df9b5f6b17605f07d965e71d8bc4dee09a0
amend index.html for the correct manual names
Changes
html/index.html