[pgpool-committers: 6090] 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
------
V4_1_STABLE

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

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