Noah Slater <[email protected]> writes: [much snippage] > @example > Here are some ``quotation'' marks. > @end example > > Here is the output in HTML: > > <pre class="example"> Here are some ``quotation'' marks. > </pre> > > Inside the <pre> element the ``quotation'' marks have not been formatted > properly.
For what it's worth, this output looks the way that I would expect it to look. @example produces typewriter-like output; typewriters don't have fancy double-quotes. -- Ben Pfaff http://benpfaff.org
