> -----Original Message-----
> From: Andreas Pflug [mailto:pgadmin@pse-consulting.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