On Fri, 12 Nov 2021 14:28:31 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> make/Main.gmk line 511: >> >>> 509: MAKEFILE := Docs, \ >>> 510: TARGET := docs-zip, \ >>> 511: DEPS := docs-jdk buildtools-jdk, \ >> >> Is this really needed? I did not think jrtfs-jar used zip? > > Sorry, I'm mis-reading the lines here. It's of course for docs-zip. Then it's > perfectly in order! :-) It's using JarArchive.gmk, which is a similar, but different and probably also needs the same treatment. We should probably share more code between them. ------------- PR: https://git.openjdk.java.net/jdk/pull/6311