[Flex-devel] texi2dvi dependency

[Michael M. <mm...@my...>]

On OpenBSD, I need to use the texi2dvi port because the version in base
is too old. The port's binary is named gtexi2dvi. Currently, there seems
to be no way to change the texi2dvi binary name used by flex's build
system. There's an env var TEXI2DVI set in the Makefile, but it
overrides anything in the existing environment.

Of course, I could manually edit Makefile.in or Makefile every time, but
that's tedious and prevents me from porting flex.

Is there an easy way to change this behavior?

Thanks,
Mike