Re: RIGHT SINGLE QUOTATION MARKs in pdf documents

[Wolfgang Laun]

Never trust your eyes. od -tx1 of the last command yields:

0000000 e2 80 99 47 41 57 4b 5f 50 45 52 53 49 53 54 5f
0000020 46 49 4c 45 3d 68 65 61 70 2e 70 6d 61 e2 80 99

e2 80 99 is the incriminated character.

Wolfgang

On Thu, 6 Oct 2022 at 06:23, <arnold@skeeve.com> wrote:

> Hi.
>
> Can you please send this to the bug-texinfo@gnu.org list?
> What you're seeing is the result of texinfo.tex and pdftex.
> I have no control over any of this, I just use what the Texinfo
> project supplies as a black box. I don't speak TeX, so I wouldn't
> even know where to begin to go hunting for this.
>
> Actually, is this a problem report? Now that I reread it, it looks
> like gawk.pdf is good...
>
> Thanks,
>
> Arnold
>
> Hermann Peifer <peifer@gmx.eu> wrote:
>
> > 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???
> >
>
>

-- 
Wolfgang Laun