Re: Take account of splitting option in gendocs.sh

[Bruno Haible]

Gavin Smith wrote, re
<https://lists.gnu.org/archive/html/bug-gnulib/2023-02/msg00183.html>:
> > 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?

I can't review it, because the interplay between the script and the template
is something I don't know about.

Also: What are the effects of the patch on the output, if no --split option
is being passed to gendocs.sh?

Can someone else please review it? Maybe Karl?

Bruno