Also handle inexistant doc path.
This commit is contained in:
parent
ea182934f3
commit
20faecc7a0
@ -36,7 +36,8 @@ def update_documentation():
|
|||||||
doc_path = os.path.join(base_path, 'html', 'doc')
|
doc_path = os.path.join(base_path, 'html', 'doc')
|
||||||
script_path = os.path.join(base_path, '..', 'scripts')
|
script_path = os.path.join(base_path, '..', 'scripts')
|
||||||
|
|
||||||
if all(docutils.docs_up_to_date(path) for path in os.listdir(doc_path)):
|
if os.path.exists(doc_path):
|
||||||
|
if all(docutils.docs_up_to_date(p) for p in os.listdir(doc_path)):
|
||||||
return
|
return
|
||||||
|
|
||||||
try:
|
try:
|
||||||
|
Loading…
Reference in New Issue
Block a user