Re: RIGHT SINGLE QUOTATION MARKs in pdf documents

[Hermann Peifer]

> Actually, is this a problem report? Now that I reread it, it looks
> like gawk.pdf is good...

Hmm. It is a minor observation (i.e. not a real bug report) I would say.
Some 10(?) years ago, gawk.pdf had the same U+2019 characters in these
lines which look like keyboard input, but crash when copied to the
command prompt. Somehow, the U+2019 characters went away in gawk.pdf,
over the years. I thought you did some TeX magic to fix this.

I will ask my son, who speaks LaTeX.

Regards, Hermann

On 06/10/2022 06.07, 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???