Subject: Re: bug#16292: 24.3.50; info docs now contain single straight quotes instead of `'

From: Stefan Monnier <[email-masked]>
Date: Sun, 05 Jan 2014 23:39:20 -0500

> As for the second, I still think that (a) the ASCII version should be
> the default, and (b) using --enable/disable-encoding on the makeinfo
> command line is an easier way of achieving the same effect.  But if
> Stefan prefers this method, so be it.

At this point, I prefer to let you guys decide,

        Stefan