Merge branch 'js/misc-doc-fixes'

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index bf2bf271b5678895e94810dcbdca12b0dfb7de91..9022d4835545cbf40c9537efa8ca9a7678e42673 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -14,3 +14,4 @@ manpage-base-url.xsl
 SubmittingPatches.txt
 tmp-doc-diff/
 GIT-ASCIIDOCFLAGS
+/GIT-EXCLUDED-PROGRAMS