Re: [Gawk manual] Several empty list items in the HTML version

[Patrice Dumas]

On Sat, Oct 05, 2024 at 11:22:06AM -0600, arnold@skeeve.com wrote:
> Hi.
> 
> Apologies for the delay in replying, I've been offline for several
> days.
> 
> Thank you for the report. I have fixed all the cases in the manual
> and will push it to Git shortly.  The HTML manual will be updated
> when I next make a release.
> 
> IMHO this is really a makeinfo bug (and indeed, the Info file doesn't
> change after this update), so I'm cc-ing the texinfo folks.

The code that moves index entries after @item was actually confused by
@subentry.  Should be fixed in:
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=5e8fccc9bd1fb775654ebb2e2334682a83cc47c0

Thanks for the report!

@Gavin maybe to be considered for 7.1.2?

-- 
Pat