mysql57: file list for mysql_select is inaccurate, aborts selection.

[grumpybozo (Bill Cole)]

After installing mysql57:

# port select mysql mysql57
Selecting 'mysql57' for 'mysql' failed: could not create new link "/opt/local/man/man1/mysql-stress-test.pl.1.gz": target "/opt/local/share/man/mysql57/man1/mysql-stress-test.pl.1.gz" doesn't exist

Indeed, /opt/local/share/man/mysql57/man1/mysql-stress-test.pl.1.gz does not exist and 'port contents mysql57' does not show it. This would be harmless if the single missing file was tolerated and the 'select' procedure continued, but instead this appears to abort the whole process, leaving everything after the missing file in the list unlinked. Ultimately there are 6 missing files, so a really ugly workaround is:

touch /opt/local/share/man/mysql57/man1/mysql-stress-test.pl.1.
touch /opt/local/share/man/mysql57/man1/mysql-test-run.pl.1.gz
touch /opt/local/share/man/mysql57/man1/mysql_client_test.1.gz
touch /opt/local/share/man/mysql57/man1/mysql_client_test_embedded.1.gz
touch /opt/local/share/man/mysql57/man1/mysqltest.1.gz
touch /opt/local/share/man/mysql57/man1/mysqltest_embedded.1.gz

I have not figured out which port this problem is in or whether it is in the underlying build failing to create the files.