Bruce Momjian <bruce@momjian.us> scritti il 10/05/2011 16:22:54

> Thanks.  I can confirm that the 9.0-US PDF now has bookmarks.  FYI, the
> PDF is now 18MB;  previously it was 8MB without bookmarks.  That's 10MB
> of bookmarks.  :-O
>
I think it should be compressed.
The compressed version produced by Josh is just 8Mb with all the bookmarks.

Gabriele