Hello Paul,
Am Sun, Jan 18, 2026 at 10:19:14AM -0800 schrieb Paul Eggert:
> On 2026-01-18 09:56, Helge Kreutzmann wrote:
> > Am Sun, Jan 18, 2026 at 09:47:44AM -0800 schrieb Paul Eggert:
> > > Thanks for the bug report about the Bison man page
> > > <https://lists.gnu.org/r/bug-bison/2026-01/msg00000.html>. I assumes this
> > > supersedes the report last month
> > > <https://lists.gnu.org/r/bug-bison/2025-12/msg00000.html>.
> > This*adds* on top.
> 
> Oh, right, I guess I was confused because the earlier report starts with
> discussion of "bison.yacc.1", a man page that we don't create so I suppose
> it is a Debianism of some sort.

Debian renames yacc.1 from your sources to bison.yacc.1, so it should
apply there.

> Anyway, I installed the attached further patch to fix doc/yacc.1.in, which
> is the source for yacc.1 (and I assume for bison.yacc.1).

So this is resolved (?) - thanks!

Greetings

            Helge

-- 
      Dr. Helge Kreutzmann                     [email protected]
           Dipl.-Phys.                   http://www.helgefjell.de/debian.php
        64bit GNU powered                     gpg signed mail preferred
           Help keep free software "libre": http://www.ffii.de/

Attachment: signature.asc
Description: PGP signature

Reply via email to