Patch to support correct generation of Javadoc files

Brought to you by: cidercone, patrickstickler

#1 Patch to support correct generation of Javadoc files

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2005-11-23

Created: 2005-11-23

Private: No

The javadoc target had an incorrect format for the packagenames
attribute. See file for fix.