From a09b35c2bd5e273a4fe7666ee7791e3f3a8d4272 Mon Sep 17 00:00:00 2001
From: myk002 <myk002@yahoo.com>
Date: Thu, 28 Jul 2022 15:32:26 -0700
Subject: [PATCH] ignore generated directories

---
 .gitignore | 2 ++
 conf.py    | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 5155f2bb9..0711d9b17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,8 +18,10 @@ build/VC2010
 docs/changelogs/
 docs/html/
 docs/pdf/
+docs/pseudoxml/
 docs/text/
 docs/tools/
+docs/xml/
 
 # in-place build
 build/Makefile
diff --git a/conf.py b/conf.py
index fab4b286a..b01027a6b 100644
--- a/conf.py
+++ b/conf.py
@@ -310,7 +310,10 @@ exclude_patterns = [
     'docs/tags/*',
     'docs/text/*',
     'docs/builtins/*',
+    'docs/pdf/*',
     'docs/plugins/*',
+    'docs/pseudoxml/*',
+    'docs/xml/*',
     'scripts/docs/*',
     ]