Re: man path problems
On Thu, Aug 15, 2002 at 01:24:53PM +0200, Vincent Lefevre wrote:
> On Thu, Aug 15, 2002 at 11:59:57 +0100, Colin Watson wrote:
> > What's wrong with what 'man' is using? I can't work out exactly what
> > your problem is from your post. Note that /usr/local/j2sdk1.3.1/man is
> > used automatically because /usr/local/j2sdk1.3.1/bin is on your $PATH.
> Yes, but why is /usr/local/j2sdk1.3.1/man put before /usr/share/man?
I'd need to see the output of 'man -adw java' to be sure. I suspect it
is not as simple an error as you think, though, because 'man' uses the
same code to determine manual page paths as 'manpath' does.
Colin Watson [firstname.lastname@example.org]