[pgpool-committers: 4197] pgpool: Fix failing "make dist".

Tatsuo Ishii ishii at postgresql.org
Wed Aug 16 08:30:45 JST 2017


Fix failing "make dist".

doc.ja/src/Makefile seemed to be broken.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=32a451a512ba9fe8e82d407cbc016573401d1d47

Modified Files
--------------
doc.ja/src/Makefile.in | 30 +++++++++++++++++++++---------
1 file changed, 21 insertions(+), 9 deletions(-)



More information about the pgpool-committers mailing list