Bug#191942: tetex-bin: Fails to build with current flex

[Daniel Schepler <schepler@math.berkeley.edu>]

Atsuhito Kohda <kohda@pm.tokushima-u.ac.jp> writes:

> Is this really a bug of tetex?  I'm not sure but there is
> a bug for flex #188872.  Is this irrelevant?

No, that bug doesn't look relevant to me.  The relevant change in the
new flex is that it's no longer valid to call unput() from the section
after %%, only in actions or in the %{ ... %} section.
-- 
Daniel Schepler              "Please don't disillusion me.  I
schepler@math.berkeley.edu    haven't had breakfast yet."
                                 -- Orson Scott Card