docs: exclude documentation for commands that have been excluded

diff --git a/Documentation/Makefile b/Documentation/Makefile
index af0e2cf11a6d1ae06da1b4915f3360596c76a02a..e22ea2f57c6543c8857a8c2dacd89914c6420219 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -7,7 +7,10 @@ ARTICLES =
 SP_ARTICLES =
 OBSOLETE_HTML =
 
+-include GIT-EXCLUDED-PROGRAMS
+
 MAN1_TXT += $(filter-out \
+               $(patsubst %,%.txt,$(EXCLUDED_PROGRAMS)) \
                $(addsuffix .txt, $(ARTICLES) $(SP_ARTICLES)), \
                $(wildcard git-*.txt))
 MAN1_TXT += git.txt