On Thu, Aug 6, 2015, at 12:20, Gavin Smith wrote: > 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? > > Use @t instead of @code. (Info node (texinfo)Fonts.)
Thanks. That works for me. Benno -- http://www.fastmail.com - A no graphics, no pop-ups email service
