make_docs.sh

#!/bin/sh
set -e

DOCS_DIR=$1

cd docs
make html
cd -

mkdir -p $DOCS_DIR
mv -n docs/_build/html/* $DOCS_DIR

echo "Moved docs to to: $(pwd)/$DOCS_DIR"