[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Take account of splitting option in gendocs.sh
From: |
Bruno Haible |
Subject: |
Re: Take account of splitting option in gendocs.sh |
Date: |
Sun, 26 Mar 2023 18:53:21 +0200 |
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