summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
diff options
context:
space:
mode:
authorLibravatar Johannes Schindelin <johannes.schindelin@gmx.de>2019-04-18 06:16:44 -0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2019-04-19 14:03:24 +0900
commitfaa7a096d87f188cb8bb2cc1c21f80c91817ce64 (patch)
tree57166f0fdeaeb2b7257a91dbd20d429b785340f4 /Documentation/.gitignore
parentcheck-docs: allow command-list.txt to contain excluded commands (diff)
downloadtgif-faa7a096d87f188cb8bb2cc1c21f80c91817ce64.tar.xz
docs: exclude documentation for commands that have been excluded
When building with certain build options, some commands are excluded from the build. For example, `git-credential-cache` is skipped when building with `NO_UNIX_SOCKETS`. Let's not build or package documentation for those excluded commands. This issue was pointed out rightfully when running `make check-docs` on Windows, where we do not yet have Unix sockets, and therefore the `credential-cache` command is excluded (yet its documentation was built and shipped). Note: building the documentation via `make -C Documentation` leaves the build system with no way to determine which commands have been excluded. If called thusly, we gracefully fail to exclude their documentation. Only when building the documentation via the top-level Makefile will it get excluded properly, or after building `Documentation/GIT-EXCLUDED-PROGRAMS` manually. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/.gitignore')
-rw-r--r--Documentation/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 3ef54e0adb..ea27148c59 100644
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -13,3 +13,4 @@ mergetools-*.txt
manpage-base-url.xsl
SubmittingPatches.txt
tmp-doc-diff/
+/GIT-EXCLUDED-PROGRAMS