Re: RFC: Additional Directory for Extensions

On 01.05.25 16:31, David E. Wheeler wrote:
> On May 1, 2025, at 07:50, Peter Eisentraut <peter@eisentraut.org> wrote:
> 
>> The documentation in config.sgml says:
>>
>>     Note that the path elements should typically end in
>>     <literal>extension</literal> if the normal installation layouts are
>>     followed.
>>
>> So I think your change here between v3 and v4 is incorrect.
> 
> Right, sorry, forgot about that, I updated it in anticipation of Matheus’s patch[1] being committed.
> 
> So v3 is fine for now, but if that patch is committed, we’ll need to reconcile those docs.

I see.  I have committed it now describing the current state.

Btw., the shown directory names that illustrate how "postgresql" is 
appended were not correct.  I have corrected that.