Re: makeinfo should quote 'like this' instead of `like this'

2012-01-23 Thread John Darrington
On Mon, Jan 23, 2012 at 05:20:42PM -0800, Karl Berry wrote: Yes, fine. But the question at hand is about the info/plaintext output for @file when enable-encoding is *not* set, and/or utf-8 is not specified,. Up till now, makeinfo in all its forms has output `foo'. But I

Re: makeinfo should quote 'like this' instead of `like this'

2012-01-23 Thread Per Bothner
On 01/23/2012 05:20 PM, Karl Berry wrote: Yes, fine. But the question at hand is about the info/plaintext output for @file when enable-encoding is *not* set, and/or utf-8 is not specified,. Up till now, makeinfo in all its forms has output `foo'. But I guess we have to now change to 'foo'. A

Re: makeinfo should quote 'like this' instead of `like this'

2012-01-23 Thread Karl Berry
In HTML, those quotes are “ and ” in the default case. Is it ok? Not [lr]squo? Always been traditional to use single quotes for @file etc. become U+2018 and U+2019 if enable-encoding is set and @documentlanguage utf-8 is set too (as discussed recently). Yes, fine. But the

Re: makeinfo should quote 'like this' instead of `like this'

2012-01-23 Thread Patrice Dumas
On Mon, Jan 23, 2012 at 02:25:54PM -0800, Karl Berry wrote: > Paul -- I dislike copying two big lists, so I'm just going to reply > here. > > I am of course fully aware of the coding standards change. > I agree that @file and the like might as well generate '...' now in > Info/plaintext output, gi

Re: makeinfo --html

2012-01-23 Thread Patrice Dumas
On Sun, Jan 15, 2012 at 04:30:08PM -0800, Karl Berry wrote: > Hi again Nikos, > >When generating html output of a texi file with split node internal >links set with @ref{} are not working when they contain underscores. > >$ makeinfo --html -o gnutls.html --css-include=../texinfo.css

Re: makeinfo should quote 'like this' instead of `like this'

2012-01-23 Thread Paul Eggert
On 01/23/2012 02:25 PM, Karl Berry wrote: > To go all the way, makeinfo would have to change an input ASCII ` to an > output ASCII ', when just regular text is `quoted'. Yes, that sounds right. And as Eric Blake pointed out in ,

Re: makeinfo should quote 'like this' instead of `like this'

2012-01-23 Thread Karl Berry
Paul -- I dislike copying two big lists, so I'm just going to reply here. I am of course fully aware of the coding standards change. I agree that @file and the like might as well generate '...' now in Info/plaintext output, given the mandated change. Patrice, wdyt? To go all the way, makeinfo wo

makeinfo should quote 'like this' instead of `like this'

2012-01-23 Thread Paul Eggert
In response to the recent change to the GNU coding standards, which now encourages quoting 'like this' (with apostrophes) or "like this" (with double-quotes) instead of `like this' (with acute accent and apostrophe) when quoting in ASCII, we've gone through Gnulib and have replaced most instances o