summaryrefslogtreecommitdiffstats
path: root/jjb/scripts/hicn/docs.sh
blob: e927f0bbcc4867360a5f8c64019125a1b4c93e6e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/bash
set -xe -o pipefail

DOC_DIR="docs/build/html"
SITE_DIR_ROOT="build/doc"
SITE_DIR="${SITE_DIR_ROOT}/deploy-site"

echo "---> jjb/scripts/hicn/docs.sh"

bash scripts/build-packages.sh sphinx

mkdir -p "${SITE_DIR_ROOT}"
mv -f "${DOC_DIR}" "${SITE_DIR}"
find "${SITE_DIR}" -type f '(' -name '*.md5' -o -name '*.dot' -o -name '*.map' ')' -delete