[pgpool-hackers: 4607] Removing vestige of pgpoolAdmin

[Tatsuo Ishii]

pgpoolAdmin has retired on December 31, 2023.
https://pgpool.net/mediawiki/index.php/Main_Page#End-of-Life_.28EOL.29_Announcement_for_pgpoolAdmin_.282023.2F02.2F17.29
Howver there are some vestiges rmained in pgpool docs.

In installation.sgml:

--------------------------------------------------------------------------------------
2.6. Installing pgpool_recovery
:
:
Also pgpoolAdmin of management tool,stop, restart or reload a PostgreSQL on the screen by use pgpool_pgctl. 
:
:
 With Pgpool-II 3.3 or later, you need to tweak postgresql.conf. Suppose the path to pg_ctl is /usr/local/pgsql/bin/pg_ctl. Then you add following to postgresql.conf.

pgpool.pg_ctl = '/usr/local/pgsql/bin/pg_ctl'
   
Probably you want to execute following after this:

$ pg_ctl reload -D /usr/local/pgsql/data
--------------------------------------------------------------------------------------

"Also pgpoolAdmin of management tool" should be removed by the reason above.

However if we remove this, "With Pgpool-II 3.3 or later, you need to
tweak postgresql.conf..." is abrupt as no reason is presented why
users need to do so. I believe there's no client of pgpool_pgctl other
than pgpoolAdmin and it's better to remove this part too.

Thought?

Best regards,
--
Tatsuo Ishii
SRA OSS K.K.
English: http://www.sraoss.co.jp/index_en/
Japanese:http://www.sraoss.co.jp