cc: peter.tribble at gmail.com Subject: Re: [shell-discuss] 2007/235 Default shell environment: manualpage subsystem --------
> As an architectural matter, I don't buy that story. > > If the right answer is to enhance /usr/bin/man so that it just does > the right thing, then let's do that. Doing a one-time conversion of > $PATH to $MANPATH seems like hackery to me, and something that's > likely to get users even deeper into trouble. > > This makes more sense. Change man to first walk through PATH changing each /bin to /man and then process MANPATH. That way the man page will correspond to the command (if there is a corresponding man page). David Korn dgk at research.att.com
