Statistics
| Branch: | Tag: | Revision:

root / ci / make_docs.sh @ 3b0bd82f

History | View | Annotate | Download (160 Bytes)

1
#!/usr/bin/env sh
2
set -e
3

    
4
DOCS_DIR=$1
5

    
6
cd docs
7
make html
8
cd -
9

    
10
mkdir -p $DOCS_DIR
11
mv -n docs/_build/html/* $DOCS_DIR
12

    
13
echo "Moved docs to to: $(pwd)/$DOCS_DIR"