Fabien COELHO <coelho@cri.ensmp.fr> writes:
> Please find attached my first submission for installing all necessary
> build files (makefile, scripts...) by default.
Why? They won't do anyone any good outside the original build tree.
Even if modified so that they are useful (which is something that is
on my to-do list), I disagree with installing them by default. See
previous arguments about installing backend internal headers by default.
regards, tom lane
