RIGHT SINGLE QUOTATION MARKs in pdf documents

[Hermann Peifer]

Hi again,

Here a really minor observation from going through the pdf documents
generated in my local git sandbox through "make pdf".

From gawk.pdf, the given oneliners can be directly copied to the
command prompt. The code is enclosed in APOSTROPHE characters (U+0027)
see [1].

Oneliners in other pdf documents come with the RIGHT SINGLE QUOTATION
MARK characters (U+2019, as gawk.pdf used to have in the old days,
IIRC). This makes it less convenient to copy from these documents to the
prompt, see [2].

All source files seem to have normal apostrophes, as far as I can see.

Regards, Hermann

[1] Example from gawk.pdf
awk 'BEGIN { print "Don\47t Panic!" }'

[2] Examples from other pdf documents
gawk.1.pdf: gawk ’BEGIN { print "hello, world" }’
pm-gawk.pdf: gawk ’BEGIN{myvar = 47}’
pm-gawk.1.pdf: alias pm=’GAWK_PERSIST_FILE=heap.pma’