Skip site navigation (1) Skip section navigation (2)

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

From: "Dave Page" <dpage(at)vale-housing(dot)co(dot)uk>
To: "Andreas Pflug" <pgadmin(at)pse-consulting(dot)de>
Cc: "Miha Radej" <miha(dot)radej(at)siix(dot)com>,"pgadmin-hackers" <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: [pgadmin-support] Feature request - option to exclude docs
Date: 2006-04-06 07:07:27
Message-ID: E7F85A1B5FF8D44C8A1AF6885BC9A0E4011C9AA2@ratbert.vale-housing.co.uk (view raw or flat)
Thread:
Lists: pgadmin-hackers
 

> -----Original Message-----
> From: Andreas Pflug [mailto:pgadmin(at)pse-consulting(dot)de] 
> 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 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.

That's a point - in which case, --disable-docs seems correct, except it
should disable everything. We aren't going to start maintaining two sets
of help indexes (damn things are pita already!).

Regards, Dave

Responses

pgadmin-hackers by date

Next:From: Miha RadejDate: 2006-04-06 07:59:11
Subject: Re: [pgadmin-support] Feature request - option
Previous:From: Andreas PflugDate: 2006-04-05 21:54:18
Subject: Re: [pgadmin-support] Feature request - option

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group