From 87bb858869ed9f18f22b44c29235dc65aa8a9300 Mon Sep 17 00:00:00 2001 From: Mindiell Date: Wed, 5 May 2021 10:01:09 +0200 Subject: [PATCH] logs_directory is now created if necessary --- build_docs.py | 1 + 1 file changed, 1 insertion(+) diff --git a/build_docs.py b/build_docs.py index 4b77559..e04ddf0 100755 --- a/build_docs.py +++ b/build_docs.py @@ -451,6 +451,7 @@ def build_one( maketarget, ] ) + run(["mkdir", "-p", log_directory]) run(["chgrp", "-R", group, log_directory]) setup_switchers(os.path.join(checkout, "Doc", "build", "html")) logging.info("Build done for version: %s, language: %s", version.name, language.tag)