docs: exclude documentation for commands that have been excluded

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index 3ef54e0adbad5fbfd4468581037a2dcb9a9a4681..ea27148c598f925600f00f1af79f58fc9034f1a4 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -13,3 +13,4 @@ mergetools-*.txt
 manpage-base-url.xsl
 SubmittingPatches.txt
 tmp-doc-diff/
+/GIT-EXCLUDED-PROGRAMS