Peter Eisentraut <peter(at)eisentraut(dot)org> writes:
> With the makefile rules, the output of genbki.pl was written to
> src/backend/catalog/, and then the header files were linked to
> src/include/catalog/.
> This patch changes it so that the output files are written directly to
> src/include/catalog/.
Didn't read the patch, but +1 for concept.
regards, tom lane