On Wednesday 18 June 2003 17:33, Andreas Pflug wrote:
> How about asking at installation time which doc should be used: the
> included file version or most recent docs from developers.postgresql.org.
Under RedHat or Deb, the docs can be packaged separately. I was thinking of a
pgAdmin3-doc package. If not found at startup by pgAdmin3, the internet could
be used if the user requires it.
Cheers,
Jean-Michel
