Re: RIGHT SINGLE QUOTATION MARKs in pdf documents

[arnold]

I didn't do it, texinfo.tex or pdftex did. :-)

See my other mail.

Thanks,

Arnold

Hermann Peifer <peifer@gmx.eu> wrote:

>  > 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???
> >>
>