I'm using makeinfo 7.1. Maybe that is the difference? That's what I've had for a while (since it was released), but maybe INSTALL hasn't been updated since then.
Other than that, my environment has not changed for ages. LC_ALL=C, if it matters. I didn't do anything different this time than any other time. Seems to me the results should not depend on the builder's environment anyway. Wouldn't it be better for INSTALL to be (entirely) 7-bit ASCII instead of UTF-8, given the existence of INSTALL.UTF-8? Otherwise, what's the point of INSTALL.UTF-8? And it's a lot easier to grep ASCII. I find Unicode quotes so aggravating (in the context of programming) that I basically pay no attention to what happens. Sorry. What do you want to do? Should I just autoupdating INSTALL*? --thanks, karl.
