[pgpool-committers: 6994] pgpool: Doc: change repository rpm urls.

[Bo Peng]

Doc: change repository rpm urls.

Branch
------
V3_7_STABLE

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

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