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

[Eli Zaretskii]

> Date: Thu, 19 Jan 2012 19:50:03 +0100
> From: Ulrich Mueller <address@hidden>
> Cc: address@hidden
> 
> > 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?

I believe Stephen was talking about ``quoted text'', not about @samp
or @code or @file.