jjb/scripts/hicn/docs.sh

   1 #!/bin/bash
   2 set -xe -o pipefail
   3
   4 DOC_DIR="docs/build/html"
   5 SITE_DIR_ROOT="build/doc"
   6 SITE_DIR="${SITE_DIR_ROOT}/deploy-site"
   7
   8 echo "---> jjb/scripts/hicn/docs.sh"
   9
  10 bash scripts/build-packages.sh sphinx
  11
  12 mkdir -p "${SITE_DIR_ROOT}"
  13 mv -f "${DOC_DIR}" "${SITE_DIR}"
  14 find "${SITE_DIR}" -type f '(' -name '*.md5' -o -name '*.dot' -o -name '*.map' ')' -delete