bug#20385: Support curved quotes in doc strings

[Ivan Shmakov]

>>>>> Eli Zaretskii <eliz@gnu.org> writes:
>>>>> From: Ivan Shmakov  Date: Thu, 14 May 2015 20:05:53 +0000
>>>>> Eli Zaretskii <eliz@gnu.org> writes:
>>>>> From: Ivan Shmakov  Date: Thu, 14 May 2015 07:20:17 +0000

 >>>> The ` character is not a quotation mark at all.  In fact, it’s the
 >>>> spacing variant of the very same diacritical mark as is shown
 >>>> above e in è.

 >>> Any references for this?

 >> You mean, other than UnicodeData.txt and its derivatives?  To quote
 >> NamesList.txt, for instance:

 >> 0060 GRAVE ACCENT
 >>     * this is a spacing character

[…]

 > Where does it say that it can be combined with some base character as
 > a diacritical?

        Where does it say that X can be combined with X to form a bold
        X?  Yet man(1) (or, rather, Nroff) uses that since time
        immemorial, and it still works with less(1) at the least.

        Obviously, that part of ASCII didn’t propagate to Unicode.
        That still hardly is a reason to use U+0060 (or any other
        spacing accent character) as a substitute to a quotation mark.

[…]

-- 
FSF associate member #7257  http://am-1.org/~ivan/      … 3013 B6A0 230E 334A