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)
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

1  2 
Documentation/Makefile
Documentation/git-remote-ext.txt
Documentation/gitremote-helpers.txt
Makefile

Simple merge
Simple merge
Simple merge
diff --cc Makefile
Simple merge