On Sat, Feb 23, 2013 at 04:06:49PM -0800, Per Bothner wrote: > 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".
Right now this is done only if enable-encoding is set (which is the default) and OUTPUT_ENCODING_NAME is utf-8, which is set in thte default case if there is in the document: @documentencoding utf-8 For non utf-8 document we want to be on the safe side. -- Pat
