Tidy build file and docs

2020-01-30 16:51:20 +01:00
parent d21d278710
commit 83fe2757ef
3 changed files with 9 additions and 3 deletions
--- a/doc/build.sh
+++ b/doc/build.sh
@ -12,6 +12,10 @@ TARGET_DIR="${1:-./}"

 SPHINX=sphinx-build

+if [ ! -d $DOCS_DIR/_static ]; then
+    mkdir -p $DOCS_DIR/_static
+fi
+
 if ! which sphinx-build ; then
    SPHINX=sphinx-build-3
 fi