[pgpool-committers: 5932] pgpool: Doc: add index to "quorum".

[Tatsuo Ishii]

Doc: add index to "quorum".

Branch
------
master

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

Modified Files
--------------
doc.ja/src/sgml/watchdog.sgml | 4 ++--
doc/src/sgml/watchdog.sgml    | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)