> Date: Thu, 6 Aug 2015 11:20:55 +0100
> From: Gavin Smith <[email protected]>
> Cc: Texinfo <[email protected]>
>
> On 6 August 2015 at 11:18, Benno Schulenberg <[email protected]> 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.
