Statistics
| Branch: | Tag: | Revision:

root / ci / make_docs.sh @ 88e6558b

History | View | Annotate | Download (163 Bytes)

1 cd391e22 Christos Stavrakakis
#!/bin/sh
2 e8f9db81 Christos Stavrakakis
set -e
3 e8f9db81 Christos Stavrakakis
4 6262d2ae Christos Stavrakakis
DOCS_DIR=$1
5 e8f9db81 Christos Stavrakakis
6 e8f9db81 Christos Stavrakakis
cd docs
7 3620b9c4 Christos Stavrakakis
make clean
8 e8f9db81 Christos Stavrakakis
make html
9 e8f9db81 Christos Stavrakakis
cd -
10 e8f9db81 Christos Stavrakakis
11 e8f9db81 Christos Stavrakakis
mkdir -p $DOCS_DIR
12 e8f9db81 Christos Stavrakakis
mv -n docs/_build/html/* $DOCS_DIR
13 e8f9db81 Christos Stavrakakis
14 e8f9db81 Christos Stavrakakis
echo "Moved docs to to: $(pwd)/$DOCS_DIR"