Commit 686668eb authored by Christos Stavrakakis's avatar Christos Stavrakakis
Browse files

Add make_docs to CI module

parent 8d01721e
#!/usr/bin/env sh
set -e
cd docs
make html
cd -
mkdir -p $DOCS_DIR
mv -n docs/_build/html/* $DOCS_DIR
echo "Moved docs to to: $(pwd)/$DOCS_DIR"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment