History | View | Annotate | Download (158 Bytes)
#!/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"