On Apr 7, 2014, at 7:20 AM, Mojca Miklavec <[email protected]> wrote:
> 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?


In the case of mysql55 and the other mysql ports, if you use "port select mysql 
mysql55" the man pages are symlinked into the appropriate category in 
$prefix/share/man.

Regards,
Bradley Giesbrecht (pixilla)

_______________________________________________
macports-dev mailing list
[email protected]
https://lists.macosforge.org/mailman/listinfo/macports-dev

Reply via email to