diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-05-09 00:37:27 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-05-09 00:37:27 +0900 |
| commit | caa227ff458f34155ef4e974ba9e57c857c02c01 (patch) | |
| tree | d5710ac6b84f68bfbbdca6dc0501e96e943fe7e0 /Documentation/.gitignore | |
| parent | f560a4d1598106258f43d0d5cc04cae3e6aa93e2 (diff) | |
| parent | b7ce24d09526d4e181920ee029c25438196c2847 (diff) | |
| download | git-caa227ff458f34155ef4e974ba9e57c857c02c01.tar.gz | |
Merge branch 'js/misc-doc-fixes'
"make check-docs", "git help -a", etc. did not account for cases
where a particular build may deliberately omit some subcommands,
which has been corrected.
* js/misc-doc-fixes:
Turn `git serve` into a test helper
test-tool: handle the `-C <directory>` option just like `git`
check-docs: do not bother checking for legacy scripts' documentation
docs: exclude documentation for commands that have been excluded
check-docs: allow command-list.txt to contain excluded commands
help -a: do not list commands that are excluded from the build
Makefile: drop the NO_INSTALL variable
remote-testgit: move it into the support directory for t5801
Diffstat (limited to 'Documentation/.gitignore')
| -rw-r--r-- | Documentation/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index bf2bf271b5..9022d48355 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -14,3 +14,4 @@ manpage-base-url.xsl SubmittingPatches.txt tmp-doc-diff/ GIT-ASCIIDOCFLAGS +/GIT-EXCLUDED-PROGRAMS |