This bug has been fixed.  The standard doclet now copies doc-files at the root-level to the destination directory.  If there are two files with the same name, but in different root-level doc-file directories, a warning message is printed and the first file is not overwritten by the second one (as described in the suggested fix).

 xxxxx@xxxxx  2001-05-11It is important that the user be able to place a top-level doc-files directory
in the source tree, for putting the copyright.html, logos and other files that 
are not specific to any one package.   Javadoc does not currently copy this
directory to the destination, but should.

One developer has asked for a generalization of this feature, where
a doc-files directory can be placed in *any* source subdirectory
below the root in the package path and javadoc will copy it.
For example, com.mycompany.mypackage could have a doc-files
directory at com/doc-files, even though com is not technically
a package (because it contains no source files).

Note:  Files in doc-files are not processed, and so the copyright page will
not have the navigation bars at the top and bottom.

N/A

This bug has been fixed.  The standard doclet now copies doc-files at the root-level to the destination directory.  If there are two files with the same name, but in different root-level doc-file directories, a warning message is printed and the first file is not overwritten by the second one (as described in the suggested fix).

Location of fix:

ClassWriter.java
PackageWriter.java
Standard.java
standard.properties

 xxxxx@xxxxx  2001-05-11

Need to fix for Kestrel, in order to make @docRoot useful.
 xxxxx@xxxxx  1999-07-22