Peter Eisentraut <pe...@eisentraut.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
