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
