Agreed, should be an easy change to include for 9.3. - Houston
On Fri, Jul 7, 2023 at 5:42 PM Ishan Chattopadhyaya < ichattopadhy...@gmail.com> wrote: > +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 >> >