fixed:
- userdocs not going in server/ - javadocs not always going in userdocs - exist09 dir in server
Authored by: cwilper 2003-05-17
Parent: [r2015]
Child: [r2017]