History | View | Annotate | Download (163 Bytes)
#!/bin/sh
set -e
DOCS_DIR=$1
cd docs
make clean
make html
cd -
mkdir -p $DOCS_DIR
mv -n docs/_build/html/* $DOCS_DIR
echo "Moved docs to to: $(pwd)/$DOCS_DIR"