Dave Page wrote:

On 5/4/06 17:44, "Miha Radej" <[EMAIL PROTECTED]> wrote:

Hi!

I've been playing around a bit with this and I am sending attached a
patch which Works For Me(tm).

Since this was my first stab at anything such as this, I do hope it
isn't too horrible :)

The thought was to provide a configure option with which to disable
installation of non-pgAdmin documentation: PostgreSQL and Slony docs.
With the switch omitted, all the documentation should install.

Like I said, this works for me, I've played around a bit and it Seems To
Work(tm) :)

Hi Miha,

Looks good to me in principle - my only thought is that --disable-docs
should probably disable all docs, not just the slony and PG ones. Perhaps
--disable-external-docs?

Agreed. A pgadmin-doc-only-without-pg-and-slony option would require a different help index file without pg or slony references.

Regards,
Andreas


---------------------------(end of broadcast)---------------------------
TIP 9: In versions below 8.0, the planner will ignore your desire to
      choose an index scan if your joining column's datatypes do not
      match

Reply via email to