So... something like this?
Dave Page wrote:
>>> Looks good to me in principle - my only thought is that
>>> 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!).
In response to
pgadmin-hackers by date
|Next:||From: svn||Date: 2006-04-06 13:23:31|
|Subject: SVN Commit by dpage: r5076 - trunk/pgadmin3|
|Previous:||From: Dave Page||Date: 2006-04-06 07:07:27|
|Subject: Re: [pgadmin-support] Feature request - option to exclude docs|