Re: RIGHT SINGLE QUOTATION MARKs in pdf documents

[arnold]

OK, the light went on. gawk.pdf is from tex and the other files are
man pages processed by troff (groff -Tps) | ps2pdf.

In any case, this is out of my bailiwick; the documents are meant
for reading / printing and copy / paste is more than I can know how
to deal with. One might could ask on the gnu troff list.

Arnold

Wolfgang Laun <wolfgang.laun@gmail.com> wrote:

> The problem happens on the way from a runoff document to a PostScript file,
> and then ghostscript converts it to PDF. The conversion from ( ' ) to ( ’ )
> is done by ghostscript, which is happily unaware that the text is supposed
> to be a shell command line; its task is to render text as nicely as
> possible.
>
> Perhaps it would be better to convert these .1 files to simple man pages?
>
> Regards
> Wolfgang
>
> On Thu, 6 Oct 2022 at 07:07, Wolfgang Laun <wolfgang.laun@gmail.com> wrote:
>
> > 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
> >
> >
>
> -- 
> Wolfgang Laun