Re: Incorrect handling of quotation marks in @example blocks

[Ben Pfaff]

Noah Slater <address@hidden> 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