Actually the overview.html and package.html are inputs to the JavaDoc tool
rather than outputs from it. So they should be the only html files in the
source tree.

Jon



> -----Original Message-----
> From: [EMAIL PROTECTED] 
> [mailto:[EMAIL PROTECTED] On 
> Behalf Of Sunburned Surveyor
> Sent: Monday, October 16, 2006 11:08 AM
> To: List for discussion of JPP development and use.
> Subject: [JPP-Devel] Question on build.xml for OpenJUMP
> 
> 
> I've got a quick question about the build.xml file for 
> OpenJUMP. Stefan will probably have the answer. :]
> 
> In the file a resource selector is defined. I think it 
> selects all files in the build tree that aren't *.java files 
> or *.class files. However, it appears to exclude 
> overview.html files and package.html files that are generated 
> by the Javadoc tool.
> 
> I am wondering why these two types of files are excluded from 
> the selector? If we exclude them, wouldn't we exclude all 
> html files generated by the Javadoc tool?
> 
> Thanks for the help.
> 
> The Sunburned Surveyor
> 
> --------------------------------------------------------------
> -----------
> Using Tomcat but need to do more? Need to support web 
> services, security? Get stuff done quickly with 
> pre-integrated technology to make your job easier Download 
> IBM WebSphere Application Server v.1.0.1 based on Apache 
> Geronimo 
> http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&;
dat=121642
_______________________________________________
Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel


-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel

Reply via email to