Re: Question on Required texinfo version

2022-06-04 Thread Carl Sorensen
On Sat, Jun 4, 2022 at 4:06 PM John Wheeler wrote: > This is a probably nit, but I thought I'd ask. > > The Contributor's Guide 4.2.2 subheading Other states a requirement for > Texinfo version 6.1 or newer. > > The web.texi file contains the excerpt: > > @c next line is necessary for broken

Question on Required texinfo version

2022-06-04 Thread John Wheeler
This is a probably nit, but I thought I'd ask. The Contributor's  Guide 4.2.2 subheading Other states a requirement for Texinfo version 6.1 or newer. The web.texi file contains the excerpt: @c next line is necessary for broken pre-4.13 texinfo's @c install-info, so leave it there until we