[pgpool-committers: 3246] pgpool: Tweak documents and add runtime.sgml.

[Tatsuo Ishii]

Tweak documents and add runtime.sgml.

Branch
------
master

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

Modified Files
--------------
doc/src/sgml/HTML.index        |  62 +++++++++++--
doc/src/sgml/bookindex.sgml    |  67 +++++++++++++-
doc/src/sgml/history.sgml      |  20 +++--
doc/src/sgml/installation.sgml | 192 ++++++++++++++++++++++++++++++++---------
doc/src/sgml/pgpool.sgml       |   2 +-
doc/src/sgml/runtime.sgml      | 174 +++++++++++++++++++++++++++++++++++++
doc/src/sgml/version.sgml      |   2 +-
7 files changed, 460 insertions(+), 59 deletions(-)