Re: Incorrect handling of quotation marks in @example blocks

[Noah Slater]

On Wed, Dec 24, 2008 at 04:14:15PM -0600, Karl Berry wrote:
>     @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.
>
> I think you can tell Automake to use any program you want for "makeinfo"
> via envvars MAKEINFO, MAKEINFOHTML, etc.

Good idea, I have added a note to check for this in my configure script.

>     Inside the <pre> element the ``quotation'' marks have not been
>     formatted properly.
>
> Sorry, I don't have an answer offhand (besides Ben's).  I think this
> is the correct default, but I don't think we ever created options to use
> fancy quotes instead.  I also don't think this is going to seriously
> impair anyone's understanding of the manual :).

Okay, sure. If you think this is the correct behaviour, no problem. It did
surprise though. And sure, it's just an æsthetic nitpick -- hardly a major issue
or anything... but by now I'm sure you're used to my annoying nitpicking! Heh.

Thanks,

-- 
Noah Slater, http://tumbolia.org/nslater