From 0f9ff9fc0a2619f1c6311a8b827aebb6236e506c Mon Sep 17 00:00:00 2001 From: "William F. Broderick" Date: Wed, 11 Dec 2024 09:55:03 -0500 Subject: [PATCH] change name of target dir --- jenkins/Jenkinsfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index dc166f7e..3076346a 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -98,8 +98,8 @@ pipeline { echo \$(ls \$HOME) echo \$(ls \$HOME/docs) echo \$(ls \$HOME/docs/_build) - mv docs/_build/ $HOME/build/ - echo \$(ls \$HOME/build) + mv docs/_build/ $HOME/built-docs/ + echo \$(ls \$HOME/built-docs) ''' lock('plenoptic_docs_publish') { script { @@ -120,9 +120,9 @@ pipeline { mkdir -p \$DOCS_DIR echo \$(ls \$HOME) echo \$(ls \$HOME/docs) - echo \$(ls \$HOME/build) + echo \$(ls \$HOME/built-docs) echo \$(ls \$DOCS_DIR) - cp -rp \$HOME/build/html/* \$DOCS_DIR + cp -rp \$HOME/built-docs/html/* \$DOCS_DIR # using -f here makes sure we add the index.html files, which are included in workshops .gitignore (since some are auto-generated) git add -A -f --verbose docs/\$PROJECT_NAME GIT_COMMITTER_EMAIL="jenkins@flatironinstitute.org" GIT_COMMITTER_NAME="Flatiron Jenkins" git commit --author='Flatiron Jenkins ' --allow-empty -m "Generated documentation for \$DOCS_DIR" -m '${env.BUILD_TAG}'