summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/en/rst/conf.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/en/rst/conf.py b/docs/en/rst/conf.py
index c8be24e49..a5c6090e9 100644
--- a/docs/en/rst/conf.py
+++ b/docs/en/rst/conf.py
@@ -400,6 +400,10 @@ ext_dir = "../../../extensions"
if (os.path.isdir(ext_dir)):
# Clear out old extensions docs
for dir in os.listdir("extensions"):
+ # A .gitignore file is required as git doesn't like empty directories
+ if dir == ".gitignore":
+ continue
+
shutil.rmtree(os.path.join("extensions", dir))
# Copy in new copies