diff options
Diffstat (limited to 'jjb/scripts/hicn/docs.sh')
| -rw-r--r-- | jjb/scripts/hicn/docs.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jjb/scripts/hicn/docs.sh b/jjb/scripts/hicn/docs.sh index 24f47c395..46e835082 100644 --- a/jjb/scripts/hicn/docs.sh +++ b/jjb/scripts/hicn/docs.sh @@ -2,13 +2,15 @@ set -xe -o pipefail DOC_DIR="docs/build/html" -SITE_DIR="build/doc/deploy-site" +SITE_DIR_ROOT="build/doc" +SITE_DIR="${SITE_DIR_ROOT}/deploy-site" echo "---> jjb/scripts/hicn/docs.sh" bash scripts/build-packages.sh sphinx if [[ "${JOB_NAME}" == *merge* ]]; then + 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 fi |