On 02/23/2013 02:50 PM, Karl Berry wrote:
The coding standards themselves don't require a particular style of
quoting, but almost all GNU packages are using '...' now and a number of
people asked for this, as I recall.
Failing to include the change in NEWS was a mistake. I'll add it.
Having a way to easily restore the `...' output in Info is ok with me.
If it's easy enough, we could do that for 5.1. Up to Patrice.
My preference is for makeinfo to by default emit ‘foo’ in info files -
i.e. use the Unicode characters 0x02018 "left single quotation mark"
and 0x02019 "right single quotation mark".
The info reader can optionally change these to `foo' or 'foo',
depending on user preference, if reasonable fonts aren't available.
--
--Per Bothner
p...@bothner.com http://per.bothner.com/
