66c9c8a
1
2
3
4
5
#!/bin/bash set -e SCRIPT_DIR=$(dirname ${BASH_SOURCE}) source "$SCRIPT_DIR/../repo.sh" build_docs $@ || exit $?
