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