From 72b285ce2362996dbd93f262543152ad069429d3 Mon Sep 17 00:00:00 2001 From: Garrit Franke Date: Wed, 9 Dec 2020 17:16:12 +0100 Subject: [PATCH] Fix build docs command --- build_docs.py | 1 + 1 file changed, 1 insertion(+) diff --git a/build_docs.py b/build_docs.py index 5507e3e..ab0a46c 100644 --- a/build_docs.py +++ b/build_docs.py @@ -1,6 +1,7 @@ import subprocess import os +os.system("mkdir ./book") os.system("mkdir ./book/latest") os.system("mdbook build --dest-dir './book/latest'") tags = subprocess.run(["git", "tag"], stdout=subprocess.PIPE).stdout.decode('utf-8')