Re: quotation marks (was: Re: TUTORIAL.de updated)

[Ulrich Mueller]

>>>>> On Fri, 20 Jan 2012, Stephen J Turnbull wrote:

>> (BTW, are there any plans to stop that abuse of the grave accent as
>> an opening quotation mark in the rest of the documentation? Or am I
>> the only one who uses fonts where the `' pair looks so ugly and
>> asymmetric?)

> In printed documentation TeX will turn it into proper quotation
> marks.  So, probably no change in Texinfo sources.

Shouldn't it be written as @samp{foo} in Texinfo sources anyway?

> It should be possible to patch the to-Info and to-HTML drivers in
> makeinfo to generate proper quotes in Latin-1.  Ask Karl Berry if a
> patch would be accepted.

> In docstrings, changing this would require teaching various parts of
> the help system to recognize quotes rather than grave accent.  But
> maybe help display functions (eg, C-h f) could do the translation
> using display tables.

I think that display tables won't work, because some docstrings
contain code with (lisp) backquotes. I guess these shouldn't be shown
as quotes. ;-)

For example, this one:

   backquote is a Lisp macro in `backquote.el'.
   [...]
   `(a ,b c)      => (a (ba bb bc) c)   ; insert the value of b
   `(a ,@b c)     => (a ba bb bc c)     ; splice in the value of b