> From: Gavin Smith
> Date: Wed, 16 Nov 2022 23:05:59 +
> Cc: Sam James , bug-texinfo@gnu.org
>
> Can you please email me the python3.10.info file off-list so I can
> fix it.
File sent off-list.
On 11/16/22 16:51, Per Bothner wrote:
For what it's work, I just updated to Fedora 37, which broke 'git pull'
from Savannah: ...
...
Same problem with GitLab, but GitHub works OK. Probably
some new keys need to be uploaded - but not today.
Actually, GitHub was also broken. Fixed (on Savannah
On 11/15/22 13:16, Gavin Smith wrote:
"make lint" issues an error:
/home/g/src/texinfo/GIT/js/node_modules/.bin/eslint -c build-aux/eslint.json
info.js -f unix
/home/g/src/texinfo/GIT/js/info.js:123:57: Parsing error: Unexpected token =
[Error]
While I don't think supporting old browsers i
On Tue, Nov 15, 2022 at 02:54:45PM +0100, Vincent Lefevre wrote:
> Consider
>
>
> \input texinfo@c -*-texinfo-*-
>
> @code{char *t[]}
>
> @code{char *t()}
>
> @code{char *t__}
>
> @deftypefn Macro int f (char *t[])
> @deftypefnx
On Tue, Nov 15, 2022 at 05:46:46PM +0100, Hilmar Preuße wrote:
> Am 15.11.2022 um 16:49 teilte Sam James mit:
> > > On 15 Nov 2022, at 14:03, Hilmar Preuße wrote:
> > > Am 15.11.2022 um 13:56 teilte Eli Zaretskii mit:
> > > > > Date: Mon, 14 Nov 2022 17:27:20 +0100
> > > > > From: Hilmar Preuße
>
