Re: [Gawk manual] Several empty list items in the HTML version

2024-10-13 Thread Gavin Smith
On Wed, Oct 09, 2024 at 07:48:14PM +0200, Patrice Dumas wrote: > On Tue, Oct 08, 2024 at 09:11:00PM +0100, Gavin Smith wrote: > > > > I've committed the change. > > > > One command that removes all untracked header files is: > > > > git status -u | grep '\.h$' | xargs rm > > This is somewhat da

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-09 Thread Patrice Dumas
On Tue, Oct 08, 2024 at 09:11:00PM +0100, Gavin Smith wrote: > > I've committed the change. > > One command that removes all untracked header files is: > > git status -u | grep '\.h$' | xargs rm This is somewhat dangerous, though, as it removes .h in out of source build directories, and if ther

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-09 Thread Gavin Smith
On Tue, Oct 08, 2024 at 10:11:24PM +0200, Alexandre Ferrieux wrote: > Hi, > > On 08/10/2024 21:55, Gavin Smith wrote: > > > > Yes the locale.h file (generated from locale.in.h) should not exist > > on release/7.1. locale.in.h is tracked in git but locale.h is not so > > is not removed by "git swi

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-08 Thread Alexandre Ferrieux
Hi, On 08/10/2024 21:55, Gavin Smith wrote: > > Yes the locale.h file (generated from locale.in.h) should not exist > on release/7.1. locale.in.h is tracked in git but locale.h is not so > is not removed by "git switch". I'll have to find some way of deleting > this file and others when I switch

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-08 Thread Gavin Smith
On Tue, Oct 08, 2024 at 08:55:30PM +0100, Gavin Smith wrote: > On Tue, Oct 08, 2024 at 09:23:37PM +0200, Patrice Dumas wrote: > > On Tue, Oct 08, 2024 at 08:13:12PM +0100, Gavin Smith wrote: > > > It could only be because I switched from the master branch and there > > > is something left over from

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-08 Thread Gavin Smith
On Tue, Oct 08, 2024 at 09:23:37PM +0200, Patrice Dumas wrote: > On Tue, Oct 08, 2024 at 08:13:12PM +0100, Gavin Smith wrote: > > It could only be because I switched from the master branch and there > > is something left over from building from the master branch. > > ALl the more likely that the g

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-08 Thread Patrice Dumas
On Tue, Oct 08, 2024 at 08:13:12PM +0100, Gavin Smith wrote: > It could only be because I switched from the master branch and there > is something left over from building from the master branch. ALl the more likely that the gnulib versions of 7.1 and master are probably substantially different now

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-08 Thread Gavin Smith
On Sun, Oct 06, 2024 at 01:33:03PM +0200, Patrice Dumas wrote: > On Sat, Oct 05, 2024 at 11:22:06AM -0600, arn...@skeeve.com wrote: > > Hi. > > > > Apologies for the delay in replying, I've been offline for several > > days. > > > > Thank you for the report. I have fixed all the cases in the manu

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-06 Thread arnold
Patrice Dumas wrote: > The code that moves index entries after @item was actually confused by > @subentry. Should be fixed in: > https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=5e8fccc9bd1fb775654ebb2e2334682a83cc47c0 > > Thanks for the report! > > @Gavin maybe to be considered for 7.1.

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-06 Thread Patrice Dumas
On Sat, Oct 05, 2024 at 11:22:06AM -0600, arn...@skeeve.com wrote: > Hi. > > Apologies for the delay in replying, I've been offline for several > days. > > Thank you for the report. I have fixed all the cases in the manual > and will push it to Git shortly. The HTML manual will be updated > when

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-06 Thread Patrice Dumas
On Sat, Oct 05, 2024 at 06:45:27PM +0100, Gavin Smith wrote: > On Sat, Oct 05, 2024 at 11:22:06AM -0600, arn...@skeeve.com wrote: > > IMHO this is really a makeinfo bug (and indeed, the Info file doesn't > > change after this update), so I'm cc-ing the texinfo folks. > > I am not sure what the bug

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-06 Thread arnold
You're welcome. Thérèse Godefroy wrote: > Hello Arnold, Gavin, all, > > Le 05/10/2024 à 20:18, arn...@skeeve.com a écrit : > > Looking more closely at the gawk.html file for gawk5 5.3.1, from > > September 22, I don't see these blank lines. It may be that > > you have an old version? > > > >

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-06 Thread Thérèse Godefroy
Hello Arnold, Gavin, all, Le 05/10/2024 à 20:18, arn...@skeeve.com a écrit : Looking more closely at the gawk.html file for gawk5 5.3.1, from September 22, I don't see these blank lines. It may be that you have an old version? In any case, I have fixed the doc and pushed it to git. Arnold arn

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-05 Thread arnold
Looking more closely at the gawk.html file for gawk5 5.3.1, from September 22, I don't see these blank lines. It may be that you have an old version? In any case, I have fixed the doc and pushed it to git. Arnold arn...@skeeve.com wrote: > Hi. > > Apologies for the delay in replying, I've been

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-05 Thread Gavin Smith
On Sat, Oct 05, 2024 at 11:22:06AM -0600, arn...@skeeve.com wrote: > IMHO this is really a makeinfo bug (and indeed, the Info file doesn't > change after this update), so I'm cc-ing the texinfo folks. I am not sure what the bug is supposed to be here. The bug report said "ul" and "ol" which I ass

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-05 Thread arnold
Hi. Apologies for the delay in replying, I've been offline for several days. Thank you for the report. I have fixed all the cases in the manual and will push it to Git shortly. The HTML manual will be updated when I next make a release. IMHO this is really a makeinfo bug (and indeed, the Info f