Bruce Momjian <bruce@momjian.us> writes:
> On Fri, Oct 30, 2020 at 11:09:58AM -0400, Tom Lane wrote:
>> Thinking about it from the perspective of someone dealing with an
>> installation tree not a source tree, maybe the reference should
>> be to "server/catalog/pg_type_d.h". That might help disabuse
>> anyone who's expecting to find it at that path in the git tree.
> I am confused what the "server/" prefix means in a path name.
That is the path underneath the installation "include" directory
at which that file will be found.
> We currently say:
> The <acronym>OID</acronym>s of the built-in data types are defined in
> the file <filename>src/include/catalog/pg_type_d.h</filename> in the
> source tree.
Yeah, so also s/source tree/install tree/.
regards, tom lane