> From: Benno Schulenberg <[email protected]> > Cc: Gavin Smith <[email protected]>, Texinfo <[email protected]> > Date: Thu, 06 Aug 2015 20:43:25 +0200 > > @samp{} produces 'single quotes' in Info and ‘pretty single quotes’ in > HTML output.
Yes. > But for my case the double quotes are part of the code and must be > shown exactly so. What is your case, exactly, and why do the quotes have to be shown?
