From f66d69776bbac4087a1e216d6cc9bb384bcfee89 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sergio=20Mart=C3=ADnez=20Portela?= Date: Fri, 21 Oct 2022 00:23:50 +0200 Subject: [PATCH] Create directory before filling it in. --- scripts/generate.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/generate.py b/scripts/generate.py index e343401..b6e0bc4 100644 --- a/scripts/generate.py +++ b/scripts/generate.py @@ -246,6 +246,7 @@ def main(src_top, dest_top): ## Initial load t0 = time.time() + os.makedirs(dest_top, exist_ok=True) db = create_db(os.path.join(dest_top, 'db.sqlite3')) docs = regen_all(src_top, dest_top, db=db)