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 |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
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
From | Date | Subject | |
---|---|---|---|
Next Message | Miha Radej | 2006-04-06 07:59:11 | Re: [pgadmin-support] Feature request - option |
Previous Message | Andreas Pflug | 2006-04-05 21:54:18 | Re: [pgadmin-support] Feature request - option |