[docs] delete user folder before writing new files (so old files will be deleted)
This commit is contained in:
parent
39e75cb0c1
commit
c47590ae04
1 changed files with 4 additions and 2 deletions
|
|
@ -116,8 +116,10 @@ class setup_docs(object):
|
|||
|
||||
# make /user
|
||||
user_path = os.path.join(self.docs_path, "user")
|
||||
if not os.path.exists(user_path):
|
||||
os.makedirs(user_path)
|
||||
if os.path.exists(user_path):
|
||||
shutil.rmtree(user_path, ignore_errors=True)
|
||||
|
||||
os.makedirs(user_path)
|
||||
|
||||
# make /assets/img
|
||||
img_path = os.path.join(self.docs_path, "assets", "img")
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue