Bruce Momjian <pgman@candle.pha.pa.us> writes:
>> src/include/catalog/catversion.h.
>>
>> I put it there on the theory that include/catalog/*.h changes would
>> be the most common reason for wanting to bump the serial number.
>> But maybe it belongs somewhere else...
> I just couldn't find it. I looked in include only because version.h.in
> was there.
You could certainly make a case for moving it to src/include. If
you want to do that, I won't object.
regards, tom lane