Hello,
I believe makeinfo is incorrectly handling the output of quotation marks inside
@example blocks. I would switch to texi2html given the chance, but this is for
the manual I am writing which hooks into the standard (and current) Automake.
Here is a test document in Texinfo:
\input texinfo
@setfilename doc.info
@settitle Document
@example
Here are some ``quotation'' marks.
@end example
Here are some ``quotation'' marks.
@bye
Here is the output in HTML:
...
<body>
<pre class="example"> Here are some ``quotation'' marks.
</pre>
<p>Here are some “quotation” marks.
</body></html>
Inside the <pre> element the ``quotation'' marks have not been formatted
properly.
Thanks,
--
Noah Slater, http://tumbolia.org/nslater