Re: JavaDoc generated with -noindex
Yeah my bad, didnt read which list it was. On Sun, Jul 9, 2023 at 10:19 AM Uwe Schindler wrote: > Isn't this about Lucene? So 9.8 is right version. > Am 07.07.2023 um 23:43 schrieb 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 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 >>> >> -- > Uwe SchindlerAchterdiek 19, D-28357 Bremen > <https://www.google.com/maps/search/Achterdiek+19,+D-28357+Bremen?entry=gmail=g>https://www.thetaphi.de > eMail: u...@thetaphi.de > >
Re: JavaDoc generated with -noindex
Isn't this about Lucene? So 9.8 is right version. Am 07.07.2023 um 23:43 schrieb 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 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 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 -- Uwe Schindler Achterdiek 19, D-28357 Bremen https://www.thetaphi.de eMail:u...@thetaphi.de
Re: JavaDoc generated with -noindex
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 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 >> >
Re: JavaDoc generated with -noindex
+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, 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 >
JavaDoc generated with -noindex
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
