On 2019-03-08 16:11, David Fetter wrote:
>> The outcome of that is exactly what my patch does, but the inputs are
>> different. We have PG_MAJORVERSION, which is always a single integer,
>> and PG_VERSION, which could be 10.9.8 or 11beta5 or 12devel. The patch does
>>
>> if (PG_VERSION ends with 'devel')
>> return /docs/devel/
>> else
>> return /docs/$PG_MAJORVERSION/
>>
>> There is no third case. Your third case of not-numeric-and-not-devel is
>> correctly covered by the else branch.
>
> Thanks for helping me understand.
Committed, thanks.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services