Re: a sentence ending in uppercase suppresses double space

[Gavin Smith]

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.)