Re: man path problems
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?
Many programs of /usr/bin have their man pages in /usr/share/man and
I have /usr/bin before /usr/local/j2sdk1.3.1/bin in my $PATH.
--
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
Reply to: