Re: RIGHT SINGLE QUOTATION MARKs in pdf documents

[Wolfgang Laun]

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