From e16a8531114de209a6657394c24b909be6d70826 Mon Sep 17 00:00:00 2001 From: Garrit Franke Date: Wed, 9 Dec 2020 17:26:02 +0100 Subject: [PATCH] build book in root dir --- build_docs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_docs.py b/build_docs.py index d7dd7c4..a855d54 100644 --- a/build_docs.py +++ b/build_docs.py @@ -1,7 +1,7 @@ import subprocess import os -os.system("mdbook build") +os.system("mdbook build --dest-dir './book") os.system("mdbook build --dest-dir './book/latest'") tags = subprocess.run(["git", "tag"], stdout=subprocess.PIPE).stdout.decode('utf-8')