]> granicus.if.org Git - git/commit
Merge branch 'js/check-docs-exe'
authorJunio C Hamano <gitster@pobox.com>
Mon, 22 Apr 2019 02:14:46 +0000 (11:14 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Apr 2019 02:14:46 +0000 (11:14 +0900)
commit27ff7878092cf31b66d2fb67b715d632ae5033d7
treec8c95f6838ba4e6cd979923318d0ff032824de6e
parent078b254deb62d86c469c87ba4200c5a46fcb3a95
parent5ee42463399ca3cc75b7e6e4368a3a5df5b010f2
Merge branch 'js/check-docs-exe'

Dev support update.

* js/check-docs-exe:
  check-docs: fix for setups where executables have an extension
  check-docs: do not expect guide pages to correspond to commands
  check-docs: really look at the documented commands again
  docs: do not document the `git remote-testgit` command
  docs: move gitremote-helpers into section 7
Documentation/Makefile
Documentation/git-remote-ext.txt
Documentation/gitremote-helpers.txt
Makefile