> -----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 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

---------------------------(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