1  #!/bin/bash
 2  
 3  set -e
 4  
 5  if [ -z "$DOCS_DIR" ] || [ -z "$BUILD_DIR" ]; then
 6    echo "Documentation or build directory not specified. Exiting... "
 7    exit 1
 8  fi
 9  
10  echo "creating build directory"
11  mkdir -p "$BUILD_DIR"
12  
13  echo "copying markdown docs and config"
14  rsync -av "$DOCS_DIR/" "$BUILD_DIR/sources"
15  
16  echo "generating and building docs"
17  scripts/build_docs.sh -d "$BUILD_DIR/sources" -o "$BUILD_DIR/html"