[pgpool-committers: 6091] pgpool: Doc: make "quarantine" to be indexed.

[Tatsuo Ishii]

Doc: make "quarantine" to be indexed.

It should have been indexed because the term is important for failover
behavior.

Branch
------
master

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

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