On Sun, 15 Oct 2023 10:35:08 -0000, Klemens Nanni wrote:
> On Sat, Oct 14, 2023 at 04:02:46PM -0600, Todd C. Miller wrote:
> > I have the following in my WIP bison port's Makefile.
> >
> > # Avoid regenerating bison.info
> > post-configure:
> > touch ${WRKSRC}/doc/*.info
>
> Ha, that's way easier than poking at the Makefile, although I'm inclined
> to stick to the diff that tb bulk-tested, just to be sure for now.
Sure, that's fine.
> >
> > I've been using bison 3.8.2 for some time.
>
> Do you have any other changes in your WIP port?
> Does my diff work equally well for you?
I don't have anything else. Your diff works for me.
- todd
