git: c6093a753e76 - main - databases/mysql55-server: fix check-plist

[Gerald Pfeifer]

On Fri, 9 Apr 2021, Adriaan de Groot wrote:
>     databases/mysql55-server: fix check-plist
>     
>     An empty directory `info` is created during install; it's
>     not listed in the plist. Get rid of it.

Is it possible this ...

> +post-install:
> +	# Empty directory, but check-plist complains
> +	@${RMDIR} ${STAGEDIR}${PREFIX}/info || ${TRUE}

... is papering over the real issue?

At first I though this port may be providing .info files, alas without 
using the INFO= infrastructure that I introduced in 2003.

Then, looking a bit more: Is this port even dealing with .info files
at all?

What happens if you simply omit -DINSTALL_INFODIR="info" ?

Or make it point to another, existing directory (such as "share")?

Gerald