Re: PDF bookmarks and special insertions & characters

[Sebastian Urban]

> It would have to be implemented.  The problem is that the PDF format
> uses UTF-16 internally for the bookmarks, so using curly quotes here is
> quite difficult.  Hence we are stuck with ASCII in the bookmarks.  I
> guess that " is better than `` but this may also be difficult to
> implement.  `` is a ligature in the fonts used that is a curvy double
> quote but the PDF bookmarks are completely separate - you'd need to
> change the two tokens `` to something else somehow.

In this case, I'm not sure if any of the two options is really worth
it.  While effort for curly quotes can be considered, changing one
ASCII for another is not worth it in my opinion.  Changing `` to “ for
sections in source file seems to be much simpler, so I think it's the
best out of three of them.

Perhaps a "line" about this special case of “...” instead of ``...''
could be placed somewhere in Texinfo manual?  (Just a suggestion.)

>> PDF bookmarks are showing me "... rest of the TeX{} text", while I
>> was expecting "... rest of the TeX text" (...)
>
> I think I've fixed this problem in commit 4f92cb1.

Tested on Emacs manual source and everything (PDF, HTML, plain text)
seems to be working as expected.  Thanks.


S. U.