root / ci / make_docs.sh @ master
History | View | Annotate | Download (158 Bytes)
| 1 | 97d863ff | Nikos Skalkotos | #!/bin/sh |
|---|---|---|---|
| 2 | 97d863ff | Nikos Skalkotos | set -e |
| 3 | 97d863ff | Nikos Skalkotos | |
| 4 | 2a62304a | Nikos Skalkotos | DOCS_DIR="$1" |
| 5 | 97d863ff | Nikos Skalkotos | |
| 6 | 97d863ff | Nikos Skalkotos | cd docs |
| 7 | 97d863ff | Nikos Skalkotos | make html |
| 8 | 97d863ff | Nikos Skalkotos | cd - |
| 9 | 97d863ff | Nikos Skalkotos | |
| 10 | 2a62304a | Nikos Skalkotos | mkdir -p "$DOCS_DIR" |
| 11 | 2a62304a | Nikos Skalkotos | mv -n docs/_build/html/* "$DOCS_DIR" |
| 12 | 97d863ff | Nikos Skalkotos | |
| 13 | 97d863ff | Nikos Skalkotos | echo "Moved docs to to: $(pwd)/$DOCS_DIR" |