Re: Suggestion: "man git clone"
- From
Jeff King <peff@peff.net>
- Date
- Aug 21, 2008, 17:38 UTC
- Message-ID
- <20080821173842.GB26920@coredump.intra.peff.net>
- In-Reply-To
- <48ADA467.1030407@zytor.com>
On Thu, Aug 21, 2008 at 10:22:47AM -0700, H. Peter Anvin wrote:
> That would probably be the best option, other options are > $MANPATH/man1/git\ clone.1 or $MANPATH/mangit/clone.git (I actually tried > that on the assumption that it might treat "git" as a section; > unfortunately, it didn't work.)
There is some configuration magic about what is a section. Try
perl -pi -e 's/^SECTION.*/$& git/' /etc/manpath.config
That seems to convince my man to look in .../mangit, but I'm having trouble actually getting it to find a page and I don't have time to investigate further now.
-Peff