+1 to include this in release. Thanks for noticing! On Sat, 8 Jul, 2023, 12:33 am Mike Drob, <md...@apache.org> wrote:
> Why is our javadoc currently generated with -noindex? I did some digging > and found that we set that back in LUCENE-3977 to save 10MB, and then added > a property to re-enable it in LUCENE-4237, but I think that got lost in the > gradle migration. > > While the index might have been useless at the time, it now powers the > javadoc search box, see a demo at https://youtu.be/VrI6rJNO2x4?t=925 -- > The full spec is described at > https://docs.oracle.com/en/java/javase/17/docs/specs/javadoc/javadoc-search-spec.html > > > I think this would be a useful thing to include, at least for releases. > WDYT? > > Mike >
