Re: Have postgres.bki self-identify

Robert Haas <robertmhaas@gmail.com> writes:
> On Thu, Mar 20, 2025 at 3:47 PM David G. Johnston
> <david.g.johnston@gmail.com> wrote:
>> While trying to find postgres.bki in my build directory searching for the file name didn't work because there is no
commentin 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