[texinfo-pretest] texinfo pretest 4.9.90 available

[Patrice Dumas]

On Sun, Jul 01, 2007 at 05:16:03PM -0500, Karl Berry wrote:

>   . new command @textdegree{} produces the normal degrees symbol.

What should be the associated unicode point, and transliterated values?

>   . new option @set txicodequoteundirected produces an undirected quote
>     in code and example output, instead of the regular right quote.
>   . new option @set txicodequotebacktick produces a grave accent in
>     code and example output, instead of the regular left quote.

I don't think it is a good idea to have texinfo language stuff using
@set values. Implementation could set some @value, but I don't think
that the texinfo language itself should do anything with @set values.
So in my opinion it should better be

@txicodequoteundirected on
@txicodequoteundirected off
and
@txicodequotebacktick on
@txicodequotebacktick off


However I don't think that the handling of quotes is right as is. Maybe
I am old-fashioned or something, but I think that in all the code or
verbatim-like commands (like code, command, env, file, kbd, option, samp
(but not for the outside quotes, for the quotes within samp, verb,
verbatim, examples and the like), the quotes should the real ` and ',
and not the utf-8 quotes &lquot;, even in the pdf output. In the text, 
using the utf8 quotes seems right to me.

--
Pat