On Thu, 23 Sep 2021 14:34:30 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> test/langtools/jdk/javadoc/lib/javadoc/tester/JavadocTester.java line 795:
>>
>>> 793: */
>>> 794: public void copyDir(Path fromDir, Path toDir) {
>>> 795: out.println("Copying " + fromDir + " to " + toDir);
>>
>> I was surprised to find out there's no convenience method in java.nio.file
>> for copying file trees. In its absence we could maybe use something closer
>> to the second usage example in FileVisitor?
>
> That example is somewhat overkill, since it handles symlinks as well, which
> we don't need.
Agreed on symlinks. What I was referring to is using Files.copy to copy
directories, not Files.createDirectories to create them.
-------------
PR: https://git.openjdk.java.net/jdk/pull/5644
