This file is probably obsolete ?
The build.xml file can be used to make the javadoc. Also, this make.docs.bat file doesn't contain the third party jars in the execution of javadoc, so you will get a lot of warnings. So perhaps this file should jus be deleted ? Regards Alf Hogemark
