diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2022-04-26 15:46:05 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2022-04-26 15:46:05 +0000 |
| commit | 66d619c18c8ce5873b2075dd346b21411009abcb (patch) | |
| tree | 29593a60cb4488fcf1859095fb1740f8de85c43e /jjb | |
| parent | 23e447664e158103e3d93ca0bed6764118c52de4 (diff) | |
| parent | 8ae7512928d49aa7d325c0ae7121b7f3f4a754cf (diff) | |
Merge "fix(hicn/docs.sh): create SITE_DIR if it does not exist before moving html folder"
Diffstat (limited to 'jjb')
| -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 |