Re: JavaDoc generated with -noindex

2023-07-07 Thread Houston Putman
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, wrote: > >> Why is our javadoc currently gene

Re: JavaDoc generated with -noindex

2023-07-07 Thread Ishan Chattopadhyaya
+1 to include this in release. Thanks for noticing! On Sat, 8 Jul, 2023, 12:33 am Mike Drob, 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

JavaDoc generated with -noindex

2023-07-07 Thread Mike Drob
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