> Even better. (The problem with the above is that make mlyacc.cm doesn't > really force mlyacc.cm to be remade.) ... > If this sounds good, I'll check them in. Fine by me.