From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 08 Aug 2012 22:51:37 GMT
Subject: Re: [PATCH 2/4] check-docs: update non-command documentation list
Message-ID: <7v1ujhq9om.fsf@alter.siamese.dyndns.org>
In-Reply-To: <C64F75694EC040349CFE91CD69EDB2DC@PhilipOakley>

"Philip Oakley" <philipoakley@iee.org> writes:

> One issue I notice a few weeks ago is that `git help --all` does not
> list all of the available git help pages, rather it just limits itself
> to the available command pages.
>
> This means that new users can't discover those additional help pages
> in any easy manner.

That would be a problem _only_ if these "additional help pages" are
of importance for new users.  I do not think things that come from
Documentation/technical and ARTICLES (in Documentation/Makefile)
qualify as such.

I'd be perfectly happy as long as all documents are reachable from
git.html in html-fied documentation (the man pages have equivalent
cross references, I think).