Re: [PDF] Quotes glyphs; chapters/sections numbers in bookmarks

[Sebastian Urban]

> Please let me know if it works.

It looks like everything works, as it should.  I'm attaching 2
pictures with parts described in previous message, just to show how it
looks now.  In the current version of the official manual, they can be
found on pages: 39 and 251, so you can compare "old" version with
"after patch" version.  It is a nice upgrade.  Thanks.

I also attached PDF with comparison of different @commands and quotes,
after the patch.  Code for this PDF:

<-------------------- CODE START -------------------->
\input texinfo
@settitle Some tests
@documentencoding UTF-8
@codequotebacktick on
@codequoteundirected on
@kbdinputstyle code

@noindent
`text' -- ``text'' -- ‘text’ -- “text” @*
@code{`code'} -- @code{``code''} -- @code{‘code’} -- @code{“code”} @*
@kbd{`kbd'} -- @kbd{``kbd''} -- @kbd{‘kbd’} -- @kbd{“kbd”} @*
@samp{`samp'} -- @samp{``samp''} -- @samp{‘samp’} -- @samp{“samp”} @*
@t{`ttt'} -- @t{``ttt''} -- @t{‘ttt’} -- @t{“ttt”} @*
@verb{|`verb'|} -- @verb{|``verb''|} -- @verb{|‘verb’|} -- 
@verb{|“verb”|} @*

@noindent
code: @code{`} -- @code{'} -- @code{``} -- @code{''} -- @code{‘} -- 
@code{’} -- @code{“} -- @code{”} @*
kbd: @kbd{`} -- @kbd{'} -- @kbd{``} -- @kbd{''} -- @kbd{‘} -- @kbd{’} 
-- @kbd{“} -- @kbd{”} @*
samp: @samp{`} -- @samp{'} -- @samp{``} -- @samp{''} -- @samp{‘} -- 
@samp{’} -- @samp{“} -- @samp{”}@*
t: @t{`} -- @t{'} -- @t{``} -- @t{''} -- @t{‘} -- @t{’} -- @t{“} -- 
@t{”} @*
verb: @verb{|`|} -- @verb{|'|} -- @verb{|``|} -- @verb{|''|} -- 
@verb{|‘|} -- @verb{|’|} -- @verb{|“|} -- @verb{|”|} @*

@bye
<-------------------- CODE END -------------------->

> Will you be able to get the official PDF of the manual rebuilt?

Personally, I guess not.  But the plan is to submit bug report, which
I did in the past and some work was done:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35885

Now, however, it can be finally fixed for good.

But in the same bug report from a year ago, I mention chapter/section
numbers in PDF bookmarks, as well as need for better headings, which
leads to a question: what's your decision on these?

I would like to post them as one, in form of "revisiting" a bug.


S. U.

p39.PNG
Description: PNG image

p251.PNG
Description: PNG image

quotes.pdf
Description: Adobe PDF document