Re: [PATCH 2/4] check-docs: update non-command documentation list
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Aug 8, 2012, 22:51 UTC
- Message-ID
- <7v1ujhq9om.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <C64F75694EC040349CFE91CD69EDB2DC@PhilipOakley>
"Philip Oakley" <philipoakley@iee.org> writes:
Show 6 quoted lines
> 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).