Re: Take account of splitting option in gendocs.sh

[Gavin Smith]

On Mon, Feb 27, 2023 at 07:30:37AM +0000, Gavin Smith wrote:
> OK it doesn't do any harm to keep the texi2html support in.
> 
> The patch I sent applied for both texi2html and texi2any, although I
> hadn't tested it with texi2html.

Is there any progress on applying this patch?

This would allow us to eliminate the custom gendocs template we use
in the Texinfo project for chapter-level splitting for one of our
manuals.