Bruce Momjian <br...@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
