location of man pages for multiple versions of the same program

[Mojca Miklavec]

Hi,

I see that mysql55 for example installs man pages to
    $prefix/share/man/mysql55/man1/*.1.gz
where they are not really functional.

Is that a proper place for these files? / Is there any better place?

We are discussing where to best store man pages when multiple versions
of the same program get installed side-by-side. (Yes, I'm aware that
man pages probably won't work unless "port select" adds symlinks or we
do something else.)

Thank you,
    Mojca