Fix nonexisting build docs dir.

spring-media · Jun 22, 2021 · 808c157 · 808c157
1 parent 1d991d1
commit 808c157
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/mkdocs/build_docs.sh b/mkdocs/build_docs.sh
@@ -1,9 +1,10 @@
 #!/usr/bin/env bash
 
-mkdir ../docs
+mkdir docs
 cp ../README.md docs/index.md
 cp ../CONTRIBUTING.md docs/CONTRIBUTING.md
 cp ../LICENSE docs/LICENSE.md
 cp -R ../figures docs/
 python autogen.py
+mkdir ../docs
 mkdocs build -c -d ../docs/