postgresql*: Mismatched select files

[ryandesign (Ryan Carsten Schmidt)]

​PR 20205 changed the contents of postgresql_select and updated postgresql12 through postgresql16 to correspond to those changes.

All ports using a select group must be updated to correspond to any changes in a *_select port or sudo port select will malfunction. That leaves the following ports still to be updated:

• postgresql84
• postgresql90
• postgresql91
• postgresql92
• postgresql93
• postgresql94
• postgresql95
• postgresql96
• postgresql10
• postgresql11

[ryandesign (Ryan Carsten Schmidt)]

Example:

% sudo port select postgresql postgresql11
Selecting 'postgresql11' for 'postgresql' succeeded. 'postgresql11' is now active.
% ls -l /opt/local/share/man/man1/psql*   
lrwxr-xr-x  1 root  wheel  10 Sep 17 00:57 /opt/local/share/man/man1/psql.1.gz -> /opt/local
% man psql
gunzip: /opt/local/share/man/man1/psql.1.gz is a directory
fgets: No such file or directory
Error reading man page /opt/local/share/man/man1/psql.1.gz
No manual entry for psql

[dgilman (David Gilman)]

In f027911c6f56e75de28e875850a9b36e2c6f3ff1/macports-ports (master):

postgresql*: backport select file placeholders

Closes: #68174

[ryandesign (Ryan Carsten Schmidt)]

Changing the files a port installs means you have to increase its revision.