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: weird bug texinfo.tex 2023-03-21.06

On Sun, Mar 26, 2023 at 08:54:20PM +0300, arn...@skeeve.com wrote: > Hi. > > I just formatted the gawk manual to PDF. The pages themselves > look fine. However, using evince on Ubuntu 22.04, the side bar showing > the sections and pages, has all the page numbers in roman numerals! > > I'm using

Re: could not pull anymore, needed to delete a ref

On Sun, Mar 26, 2023 at 09:29:11PM +0200, Patrice Dumas wrote: > Hello, > > When I did a git pull --rebase, I got: > > error: cannot lock ref 'refs/remotes/origin/experimental/texindex-unicode': > 'refs/remotes/origin/experimental' exists; cannot create >

weird bug texinfo.tex 2023-03-21.06

Hi. I just formatted the gawk manual to PDF. The pages themselves look fine. However, using evince on Ubuntu 22.04, the side bar showing the sections and pages, has all the page numbers in roman numerals! I'm using texi2pdf 7.0.1. Let me know if you want a screen shot. Thanks, Arnold

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: [PATCH] install-info: fix delete dir file section code

On 3/24/23 15:19, John Wheeler wrote: On 3/24/23 14:41, Gavin Smith wrote: Thanks for the detailed instructions on how to replicate this problem.  I agree that the extra blank line being inserted is not a good thing. Could it be fixed by avoiding adding an extra blank line if not needed,

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

Texinfo 7.0.3 released

We have released version 7.0.3 of Texinfo, the GNU documentation format. This is a minor bug-fix release containing minimal changes from the previous release (7.0.2). This package contains tools to produce documentation in various formats, including HTML and PDF, from source files in the Texinfo