diff options
Diffstat (limited to 'jjb/scripts/hicn/docs.sh')
| -rw-r--r-- | jjb/scripts/hicn/docs.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/jjb/scripts/hicn/docs.sh b/jjb/scripts/hicn/docs.sh index f44b93dd1..24f47c395 100644 --- a/jjb/scripts/hicn/docs.sh +++ b/jjb/scripts/hicn/docs.sh @@ -1,18 +1,14 @@ #!/bin/bash set -xe -o pipefail -DOXYGEN_DOC_DIR="build-doxygen/docs/doxygen/html" DOC_DIR="docs/build/html" SITE_DIR="build/doc/deploy-site" echo "---> jjb/scripts/hicn/docs.sh" bash scripts/build-packages.sh sphinx -bash scripts/build-packages.sh doxygen if [[ "${JOB_NAME}" == *merge* ]]; then - mkdir -p "${SITE_DIR}"/doxygen mv -f "${DOC_DIR}" "${SITE_DIR}" - mv -f "${DOXYGEN_DOC_DIR}" "${SITE_DIR}"/doxygen find "${SITE_DIR}" -type f '(' -name '*.md5' -o -name '*.dot' -o -name '*.map' ')' -delete fi |