Re: info faces for strings and quotations

[Luc Teirlinck]

Richard Stallman wrote:

       1. (info "(eintr)else") with

         `"It's a tiger!"'; but when you evaluate `(type-of-animal 'zebra)',
         you will see `"It's not fierce!"'.

   What Texinfo code generates that?  It looks like someone put @samp
   around a Lisp string constant.  If so, that is incorrect usage; it
   should be @code, not @samp.

That text _is_ already in @code.  Juri apparently cut and pasted that
from an *info* buffer.  It is impossible to tell from a .info file
whether `abc' was produced by @code{abc} or @samp{abc}.  You can see
the difference if you view the dvi output.

Sincerely,

Luc.