diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/en/rst/conf.py | 4 |
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 |