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/*.infoHa, 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?
