On 01/23/2012 09:07 AM, Eric Blake wrote: > given our recent push to use '' quoting everywhere, > should we be ditching INSTALL.ISO and make INSTALL use '' > quoting?
Yes indeed. I've been meaning to suggest the same thing. > Should we be using '@set txicodequotebacktick' or similar > markup in install.texi in order alter the preferred quoting styles to > begin with? That'd cause the output to look worse when run through TeX, no? I expect it's simpler for now to leave install.texi alone. In the longer term we need to modify makeinfo so that it quotes 'like this' rather than `like this' when generating plain text output. I'll send a request to bug-texi...@gnu.org.
