Re: Have postgres.bki self-identify

Robert Haas <robertmhaas(at)gmail(dot)com> writes:
> On Thu, Mar 20, 2025 at 3:47 PM David G. Johnston
> <david(dot)g(dot)johnston(at)gmail(dot)com> wrote:
>> While trying to find postgres.bki in my build directory searching for the file name didn't work because there is no comment in the file containing the file name; like there is in every other file we write or generate, including the related *_d.h files. Add it.

> I'm not a fan of making it a policy that everyone has to do this. I'd
> rather see us remove filenames from some places where they cause
> maintenance overhead for little benefit. If somebody wants to find
> postgres.bki, I guess you can just "find . -name postgres.bki -print"

While I don't care much about the filename per se, I do note that
we embed copyright notices into most generated files. Why
not this one?

regards, tom lane