> Date: Tue, 04 Apr 2023 15:11:01 +0300 > From: Eli Zaretskii <e...@gnu.org> > Cc: ar...@gnu.org, bug-texinfo@gnu.org > > There's an easier way: > > (gdb) ./ginfo.exe
Sorry, this was supposed to be $ gdb ./ginfo.exe
> Date: Tue, 04 Apr 2023 15:11:01 +0300 > From: Eli Zaretskii <e...@gnu.org> > Cc: ar...@gnu.org, bug-texinfo@gnu.org > > There's an easier way: > > (gdb) ./ginfo.exe
Sorry, this was supposed to be $ gdb ./ginfo.exe