Changes for the new 4.0.2 release.
Plus bug fix in reading of robodoc.rc file.
Authored by: gumpu 2003-05-07
Parent: [r188]
Child: [r190]