10000 logs_directory is now created if necessary (#110) · python/docsbuild-scripts@d48a271 · GitHub
[go: up one dir, main page]

Skip to content

Commit d48a271

Browse files
authored
logs_directory is now created if necessary (#110)
1 parent 1be7088 commit d48a271

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

build_docs.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -454,6 +454,7 @@ def build_one(
454454
maketarget,
455455
]
456456
)
457+
run(["mkdir", "-p", log_directory])
457458
run(["chgrp", "-R", group, log_directory])
458459
setup_switchers(os.path.join(checkout, "Doc", "build", "html"))
459460
logging.info("Build done for version: %s, language: %s", version.name, language.tag)

0 commit comments

Comments
 (0)
0