Clean up docs scripts (#953)

Co-authored-by: Florimond Manca <florimond.manca@gmail.com>

diff --git a/scripts/docs-serve b/scripts/docs
similarity index 100%
rename from scripts/docs-serve
rename to scripts/docs

diff --git a/scripts/docs-build b/scripts/docs-build
deleted file mode 100755 (executable)
index a6b9297..0000000
--- a/scripts/docs-build
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh -e
-
-export PREFIX=""
-if [ -d 'venv' ] ; then
-    export PREFIX="venv/bin/"
-fi
-
-set -x
-
-${PREFIX}mkdocs build