> -Original Message-
> From: Miha Radej [mailto:[EMAIL PROTECTED]
> Sent: 06 April 2006 08:59
> To: Dave Page
> Cc: Andreas Pflug; pgadmin-hackers
> Subject: Re: [pgadmin-hackers] [pgadmin-support] Feature
> request - option to exclude docs
>
> Hi!
>
Hi!
So... something like this?
Regards,
Miha
Dave Page wrote:
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 wo
> -Original Message-
> From: Andreas Pflug [mailto:[EMAIL PROTECTED]
> Sent: 05 April 2006 22:54
> To: Dave Page
> Cc: Miha Radej; pgadmin-hackers
> Subject: Re: [pgadmin-hackers] [pgadmin-support] Feature
> request - option to exclude docs
>
> > Hi Mih
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 pr
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 provi
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 d
