Added a link from the home page to a .ps file generated from the
.tex robodoc documentation.
Authored by: gumpu 2000-07-01
Parent: [r31]
Child: [r33]