Statistics
| Branch: | Tag: | Revision:

root / ci / make_docs.sh @ 0b0d69f5

History | View | Annotate | Download (163 Bytes)

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

    
4
DOCS_DIR=$1
5

    
6
cd docs
7
make clean
8
make html
9
cd -
10

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

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