[pgpool-committers: 3601] pgpool: Add pgpool command reference manual.

Thu Oct 27 10:30:41 JST 2016

Add pgpool command reference manual.

To my surprise, there was no such a manual in the old HTML docs.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=be71e32e0203436c1a039839592a1f3d7f08e24b

Modified Files
--------------
doc/src/sgml/ref/allfiles.sgml |   1 +
doc/src/sgml/ref/pgpool.sgml   | 212 +++++++++++++++++++++++++++++++++++++++++
doc/src/sgml/reference.sgml    |  15 ++-
3 files changed, 227 insertions(+), 1 deletion(-)