On 18/01/2022 19:39, Mark Thomas wrote:
<snip/>
The first issue looks relatively simple to fix. I don't see an easy fix
for the second. My best idea so far is some sort of post-processing for
the Javadoc generation that extracts the file from the zip, sets the
timestamp and then re-zips it. Suggestions for a better solution welcome.
Yep, I think I fixed the first issue.
I'm wondering about second issue. It would be nice to have a complete
fix but if the full docs package isn't reproducible how much of an issue
is that?
Mark
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org
