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