Re: Take account of splitting option in gendocs.sh

On Wed, Jul 12, 2023 at 04:02:34PM +0200, Bruno Haible wrote: > Gavin Smith wrote: > > I've made minor changes to the patch as specified in Karl's response below. > > Please can this be applied? > > Thanks for having taken into account both my and Karl's comments. I have > applied your patch. >

Re: Take account of splitting option in gendocs.sh

Gavin Smith wrote: > I've made minor changes to the patch as specified in Karl's response below. > Please can this be applied? Thanks for having taken into account both my and Karl's comments. I have applied your patch. Bruno

Re: Take account of splitting option in gendocs.sh

On Sun, Mar 26, 2023 at 04:11:45PM -0600, Karl Berry wrote: > + gendocs: support chapter- and section-level split > > Seems sensible to me. Basically making the html-by-node part of the > template conditional along with the other split options? > > (Overall, it seems to me that several of

Re: Take account of splitting option in gendocs.sh

Gavin Smith wrote: > Here's an updated patch that does not affect the behaviour when > used with texi2html. Thanks for the improvement. Bruno

Re: Take account of splitting option in gendocs.sh

+ gendocs: support chapter- and section-level split Seems sensible to me. Basically making the html-by-node part of the template conditional along with the other split options? (Overall, it seems to me that several of these variants are pretty pointless nowadays, but never mind.) FWIW, in

Re: Take account of splitting option in gendocs.sh

On Sun, Mar 26, 2023 at 06:53:21PM +0200, Bruno Haible wrote: > > 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

Re: Take account of splitting option in gendocs.sh

Gavin Smith wrote, re : > > 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

Re: Take account of splitting option in gendocs.sh

On Mon, Feb 27, 2023 at 07:30:37AM +, 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

Re: Take account of splitting option in gendocs.sh

On Sun, Feb 26, 2023 at 09:52:08PM +0100, Bruno Haible wrote: > Gavin Smith wrote: > > I notice that this script also still supports texi2html, which is no > > longer developed. I could produce a patch to remove this support if > > it was very likely that nobody was relying on it. > > A web

Re: Take account of splitting option in gendocs.sh

Gavin Smith wrote: > I notice that this script also still supports texi2html, which is no > longer developed. I could produce a patch to remove this support if > it was very likely that nobody was relying on it. A web search on www.gnu.org shows that the manuals of at least the following

Take account of splitting option in gendocs.sh

The patch at the bottom of this mail makes gendocs.sh take account of the --split option. Texinfo uses this as one of its manuals (texi2any_internals) uses --split=chapter for the HTML output. Up to this point we have been getting around this problem by using a custom gendocs template. It