> From: Gavin Smith <[email protected]> > Date: Sat, 2 Jun 2018 10:14:33 +0100 > Cc: Texinfo <[email protected]> > > I don't know the context for this discussion but I doubt that it is a > Texinfo bug. The Info viewer will display whatever types of quote were > in the Info file which depends on the version of Texinfo it was > generated with as well as the declared character encoding of the > source Texinfo file. Currently I believe that Unicode directional > double quotes are output for @dfn if the Texinfo file is declared to > be encoded in UTF-8. It may have been a mistake to ever use Unicode > directional single or double quotes in Info output (as it is for > terminal output - it's not supposed to look good) - but this should > not change now in my opinion as it would upset too many people.
I believe the issue is that texinfo.texi doesn't declare @documentlanguage, and therefore the Info output is produced as pure ASCII, and uses ASCII quoting "like this" instead of Unicode quoting “like this”. The Emacs manuals use the latter.
