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


---------------------------(end of broadcast)---------------------------
TIP 6: Have you searched our list archives?

               http://archives.postgresql.org

Reply via email to