Re: [pgadmin-support] Feature request - option

Dave Page wrote:
>
> On 5/4/06 17:44, "Miha Radej" <miha(dot)radej(at)siix(dot)com> wrote:
>
>
>> Hi!
>>
>> I've been playing around a bit with this and I am sending attached a
>> patch which Works For Me(tm).
>>
>> Since this was my first stab at anything such as this, I do hope it
>> isn't too horrible :)
>>
>> The thought was to provide a configure option with which to disable
>> installation of non-pgAdmin documentation: PostgreSQL and Slony docs.
>> With the switch omitted, all the documentation should install.
>>
>> Like I said, this works for me, I've played around a bit and it Seems To
>> Work(tm) :)
>>
>
> 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.

Regards,
Andreas