For any package, Javadoc should copy any "doc-files" directory that
exists in the source tree to the destination directory. It does this
if you supply a package name in the Javadoc command, but fails
to do this if you supply source files (such as *.java). The directory
should be copied in both cases -- omitting it causes links to be broken.