Also handle the doc path not existing at all.
This commit is contained in:
parent
20faecc7a0
commit
705d77abfb
@ -36,7 +36,10 @@ 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 os.path.exists(doc_path):
|
if not os.path.exists(doc_path):
|
||||||
|
# On CI, we can test this without actually building the docs
|
||||||
|
return
|
||||||
|
|
||||||
if all(docutils.docs_up_to_date(p) for p in os.listdir(doc_path)):
|
if all(docutils.docs_up_to_date(p) for p in os.listdir(doc_path)):
|
||||||
return
|
return
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user