Add patch files to EXTRA_DIST. Branch ------ V4_0_STABLE Details ------- https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=b261664610b5a5433d4aa8cd017218ee9bac17fb Modified Files -------------- src/Makefile.am | 3 +++ src/Makefile.in | 3 +++ 2 files changed, 6 insertions(+)