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 index a6b9297e..00000000 --- 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