Bruce Momjian wrote:
>
> No, if you are happy with Postscript, let's stay with it. I only
> recommended PDF because we can embed the fonts right in the file, but
> maybe that isn't important.
You can embed font right in the file in PS as well, if you think this is
needed.
I don't see any need for this currently, as the docs have no need for
additional fonts.
--------
Hannu