From 9efc45d846e63c18fcea1a45647a8f1447c3d0a9 Mon Sep 17 00:00:00 2001 From: Garrit Franke Date: Wed, 9 Dec 2020 17:18:50 +0100 Subject: [PATCH] Build docs at root path --- build_docs.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/build_docs.py b/build_docs.py index ab0a46c..d7dd7c4 100644 --- a/build_docs.py +++ b/build_docs.py @@ -1,8 +1,7 @@ import subprocess import os -os.system("mkdir ./book") -os.system("mkdir ./book/latest") +os.system("mdbook build") os.system("mdbook build --dest-dir './book/latest'") tags = subprocess.run(["git", "tag"], stdout=subprocess.PIPE).stdout.decode('utf-8')