diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-04-22 11:14:46 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-22 11:14:46 +0900 |
| commit | 27ff7878092cf31b66d2fb67b715d632ae5033d7 (patch) | |
| tree | c8c95f6838ba4e6cd979923318d0ff032824de6e /Documentation/Makefile | |
| parent | 078b254deb62d86c469c87ba4200c5a46fcb3a95 (diff) | |
| parent | 5ee42463399ca3cc75b7e6e4368a3a5df5b010f2 (diff) | |
| download | git-27ff7878092cf31b66d2fb67b715d632ae5033d7.tar.gz | |
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
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 4e4dd7ecf1..6d738f831e 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -12,7 +12,6 @@ MAN1_TXT += $(filter-out \ $(wildcard git-*.txt)) MAN1_TXT += git.txt MAN1_TXT += gitk.txt -MAN1_TXT += gitremote-helpers.txt MAN1_TXT += gitweb.txt MAN5_TXT += gitattributes.txt @@ -30,6 +29,7 @@ MAN7_TXT += gitdiffcore.txt MAN7_TXT += giteveryday.txt MAN7_TXT += gitglossary.txt MAN7_TXT += gitnamespaces.txt +MAN7_TXT += gitremote-helpers.txt MAN7_TXT += gitrevisions.txt MAN7_TXT += gitsubmodules.txt MAN7_TXT += gittutorial-2.txt |