[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Single quotes in Info

From: Eli Zaretskii
Subject: Re: Single quotes in Info
Date: Tue, 27 Jan 2015 21:15:30 +0200

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]