root / ci / make_docs.sh @ 72bf812d
History | View | Annotate | Download (160 Bytes)
| 1 | e8f9db81 | Christos Stavrakakis | #!/usr/bin/env 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 | e8f9db81 | Christos Stavrakakis | make html |
| 8 | e8f9db81 | Christos Stavrakakis | cd - |
| 9 | e8f9db81 | Christos Stavrakakis | |
| 10 | e8f9db81 | Christos Stavrakakis | mkdir -p $DOCS_DIR |
| 11 | e8f9db81 | Christos Stavrakakis | mv -n docs/_build/html/* $DOCS_DIR |
| 12 | e8f9db81 | Christos Stavrakakis | |
| 13 | e8f9db81 | Christos Stavrakakis | echo "Moved docs to to: $(pwd)/$DOCS_DIR" |