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