Merge branch 'jk/fetch-reachability-error-fix'

diff --git a/Documentation/.gitignore b/Documentation/.gitignore
index c7096f11f1e03f5eae463fa23dc7802136097f99..bf2bf271b5678895e94810dcbdca12b0dfb7de91 100644 (file)
--- a/Documentation/.gitignore
+++ b/Documentation/.gitignore
@@ -12,3 +12,5 @@ cmds-*.txt
 mergetools-*.txt
 manpage-base-url.xsl
 SubmittingPatches.txt
+tmp-doc-diff/
+GIT-ASCIIDOCFLAGS