Re: [pgadmin-support] Feature request - option to exclude docs

On 5/4/06 17:44, "Miha Radej" <miha(dot)radej(at)siix(dot)com> 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?

Regards, Dave.