Hi Jonathan, the doc-files copy problem is fixed in JDK 8 b82, our Jenkins server is happy now (although we disabled the new doclint feature until we fixed the remaining problems in our javadocs). But our own Javadocs-Linter seems happy again, doc-files are there.
Uwe ----- Uwe Schindler uschind...@apache.org Apache Lucene PMC Member / Committer Bremen, Germany http://lucene.apache.org/ > -----Original Message----- > From: Jonathan Gibbons [mailto:jonathan.gibb...@oracle.com] > Sent: Friday, March 01, 2013 8:47 PM > To: Uwe Schindler > Cc: Robert Muir; Michael McCandless > Subject: Re: JDK 8's javadoc tool no longer copies doc-files folders > > On 02/28/2013 10:53 AM, Uwe Schindler wrote: > > Looking forward to b79 with the doc-files issue fixed! > > Uwe > > Uwe, > > The fix has been pushed. b80 is already underway, so this will be in 81 or > 82. > > -- Jon
