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

2006-04-06 Thread Dave Page
> -Original Message- > From: Miha Radej [mailto:[EMAIL PROTECTED] > Sent: 06 April 2006 08:59 > To: Dave Page > Cc: Andreas Pflug; pgadmin-hackers > Subject: Re: [pgadmin-hackers] [pgadmin-support] Feature > request - option to exclude docs > > Hi! > > So... something like this? Yup

[pgadmin-hackers] SVN Commit by dpage: r5076 - trunk/pgadmin3

2006-04-06 Thread svn
Author: dpage Date: 2006-04-06 14:23:30 +0100 (Thu, 06 Apr 2006) New Revision: 5076 Revision summary: http://svn.pgadmin.org/cgi-bin/viewcvs.cgi/?rev=5076&view=rev Log: Add a --disable-docs configure option to prevent the installation of docs [Miha Radej] Modified: trunk/pgadmin3/CHANGE

Re: [pgadmin-hackers] [pgadmin-support] Feature request - option

2006-04-06 Thread Miha Radej
Hi! So... something like this? Regards, Miha Dave Page wrote: 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 wo

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

2006-04-06 Thread Dave Page
> -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 p