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

From Dave Page
Subject Re: [pgadmin-support] Feature request - option to exclude docs
Date
Msg-id E7F85A1B5FF8D44C8A1AF6885BC9A0E4011C9AA2@ratbert.vale-housing.co.uk
Whole thread Raw
Responses Re: [pgadmin-support] Feature request - option
List pgadmin-hackers

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

pgadmin-hackers by date:

Previous
From: Andreas Pflug
Date:
Subject: Re: [pgadmin-support] Feature request - option
Next
From: Miha Radej
Date:
Subject: Re: [pgadmin-support] Feature request - option