On Mon, May 28, 2018 at 12:12 PM, Van L <[email protected]> wrote: >> You are saying that the Texinfo manual uses ASCII quotes, and therefore >> the opening and closing quotes are identical? > > Yes. > >>> Hello. >>> >>> The beginning and ending double-quoting symbols are inconsistent for >>> >>> 1. (eintr) Complications ``variables'' >>> 2. (texinfo) dfn ''deleting'' >>> >>> : 8cda6f8f (Glenn Morris 2007-09-06 1511) the symbol's >>> value as a @dfn{variable}. This situation is described >>> >>> Looking up ``@dfn{variable}’’ in ``(texinfo) dfn’’ the double-quoting >>> used in the line has >>> >>> : Getting rid of a file is called "deleting" it. >>> >>> Expect the quoting symbol for open and close to be identical since >>> both are being presented in Info page format. >>> >>> See: >>> >>> http://emacs.scratch.space/public/info-dfn-deleting-ugly-double-quotes.png
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.
