jdk1.4.2 port and incorrect manpath

[Dan Nelson]

In the last episode (Feb 09), Ian A. Tegebo said:
> I read in man(1) that the MANPATH is comiled into the man binary; after
> building the jdk14 port (1.4.2p7_2), I find that the man pages for java
> are in /usr/local/jdk1.4.2/man and thus are not accessible except by
> specifying them in particular.
> 
>    1) Do I need recompile man?
>    2) Is the port broken?: I did not see a bug for it, nor a list post.
>    3) Is there something else I'm missing?

Add "OPTIONAL_MANPATH /usr/local/jdk1.4.2/man" to /etc/manpath.config,
and you should be set.

-- 
	Dan Nelson
	dnelson at allantgroup.com