Re: a sentence ending in uppercase suppresses double space

[Eli Zaretskii]

> Date: Thu, 6 Aug 2015 11:20:55 +0100
> From: Gavin Smith <address@hidden>
> Cc: Texinfo <address@hidden>
> 
> On 6 August 2015 at 11:18, Benno Schulenberg <address@hidden> wrote:
> > An unrelated question.  How can I get <pre> or <code> formatting
> > in the HTML output, but not have any quotes added in the Info doc?
> >
> > I have a string, including the double quotes, that I wish to have set
> > in a fixed-wdith font in the HTML document, but I don't want single
> > quotes added around the string when such type setting is not available.
> >
> > Currently I have @code{"string"}, which results in '"string"' in the
> > Info document, which is undesirable.
> 
> Use @t instead of @code. (Info node (texinfo)Fonts.)

My recommendation would be to use @samp{string} (yes, without the
quotes: they are redundant in this case).  I think @t and other direct
references to typefaces should be avoided.