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