Robert Haas <robertmh...@gmail.com> writes:
> On Thu, Mar 20, 2025 at 3:47 PM David G. Johnston
> <david.g.johns...@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 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
