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.

> 
> 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?

Reply via email to