Re: Single quotes in Info

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden,  address@hidden,  address@hidden,  address@hidden
> Date: Tue, 27 Jan 2015 14:00:49 -0500
> 
> >> Why not use the case-fold machinery instead?
> > That will work only for character-for-character replacements, won't
> > it?
> 
> That's right.  But it will work a lot more efficiently (and reliably,
> e.g. if you have a one of those characters in a character-range) for those.

But then someone else will come up complaining about the other Unicode
characters emitted by makeinfo 5.x.  There's about a dozen of them.