From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Wed, 19 May 2004 10:50:15 -0600
From: Lyndon Nerenberg <lyndon@orthanc.ca>
To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu>
Subject: Re: [9fans] Plan9 port man pages
Message-ID: <2147483647.1084963815@[192.168.1.32]>
In-Reply-To: <Pine.LNX.4.56.0405182050120.8001@pali.cps.cmich.edu>
References: <Pine.LNX.4.56.0405182050120.8001@pali.cps.cmich.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Topicbox-Message-UUID: 7f76f958-eacd-11e9-9e20-41e7f4b1d025


> Just adding /usr/local/plan9/man to MANPATH only works for
> man page entries that are unique to plan9 but all others
> have matches in linux man pages or ones that start with a digit
> (9c etc.) man command treats it as a section #.
>
> So, what os the correct way to handle it?

cat > $HOME/bin/9man << EOF
#!/bin/sh
exec man -M /usr/local/plan9/man $*
EOF