Merge branch 'jk/check-docs-update' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 11 Sep 2012 18:06:14 +0000 (11:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 11 Sep 2012 18:06:14 +0000 (11:06 -0700)
commit1e51ae8393564c4998bbc809ede7e6438efd616f
tree39463efb64daecac4606b14dd585529ba41450ba
parent6508d0358d139336742676f88fd0248e54c8a59a
parent5fafce0b782dabc48e47828bde5478a15040298f
Merge branch 'jk/check-docs-update' into maint

* 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