FIX: build a directory if it does not exist

jklymak · jklymak · commit beec731a8814 · 2021-02-06T19:48:57.000-08:00
diff --git a/doc/sphinxext/redirect_from.py b/doc/sphinxext/redirect_from.py
@@ -77,6 +77,8 @@ def _generate_redirects(app, exception):
     if builder.name != "html" or exception:
         return
     for k, v in RedirectFrom.redirects.items():
-        with Path(app.outdir, k + builder.out_suffix).open("w") as file:
+         p = Path(app.outdir, k + builder.out_suffix)
+         Path(*p.parts[:-1]).mkdir(parents=True, exist_ok=True)
+         with p.open("x") as file:
             logger.info('making refresh html file: ' + k + ' redirect to ' + v)
             file.write(HTML_TEMPLATE.format(v=v))
