Modified to use the new home of robodoc source code.
Authored by: gumpu 2000-06-24
Parent: [r8]
Child: [r10]
