Merge branch 'jk/check-docs-update'
authorJunio C Hamano <gitster@pobox.com>
Wed, 22 Aug 2012 18:53:00 +0000 (11:53 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 22 Aug 2012 18:53:01 +0000 (11:53 -0700)
commitcf8b350da8e58bf285d2bbf66b67bb947ffc8718
tree122c9e54ef18689dbfc2513646b596d6c24571cc
parent7e0c2036b46ee6eef295a7e6dcb3775e874aa780
parent5fafce0b782dabc48e47828bde5478a15040298f
Merge branch 'jk/check-docs-update'

Simplify "make check-docs" implementation and update its coverage.

* jk/check-docs-update:
  check-docs: get documented command list from Makefile
  check-docs: drop git-help special-case
  check-docs: list git-gui as a command
  check-docs: factor out command-list
  command-list: mention git-credential-* helpers
  command-list: add git-sh-i18n
  check-docs: update non-command documentation list
  check-docs: mention gitweb specially
Makefile