Re: [Gawk manual] HTML issues

2024-10-14 Thread arnold
Hi. I will be pushing the attached diff, which uses @multitable. The HTML isn't perfect, but it simplifies the document considerably. Thanks, Arnold Patrice Dumas wrote: > On Mon, Oct 14, 2024 at 10:29:30AM +0200, Thérèse Godefroy wrote: > > Hello Arnold, hello all, > > > > Le 14/10/2024 à 0

Re: [Gawk manual] HTML issues

2024-10-14 Thread Patrice Dumas
On Mon, Oct 14, 2024 at 10:29:30AM +0200, Thérèse Godefroy wrote: > Hello Arnold, hello all, > > Le 14/10/2024 à 05:40, arn...@skeeve.com a écrit : > > Hello. > > > > Your patch, unfortunately, is not correct, as it ends up putting > > regular text into @code even for non-HTML outputs, so I canno

Re: [Gawk manual] HTML issues

2024-10-14 Thread Thérèse Godefroy
Hello Arnold, hello all, Le 14/10/2024 à 05:40, arn...@skeeve.com a écrit : Hello. Please send any further HTML issues directly to the Texinfo people (cc'ed). I simply use the currently released version of makeinfo to format the documents. Your patch, unfortunately, is not correct, as it ends

Re: [Gawk manual] HTML issues

2024-10-13 Thread arnold
Hello. Please send any further HTML issues directly to the Texinfo people (cc'ed). I simply use the currently released version of makeinfo to format the documents. Your patch, unfortunately, is not correct, as it ends up putting regular text into @code even for non-HTML outputs, so I cannot appl