From 02d13cdcad10d4cd57f197d8955894ac3233fae9 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 27 May 2023 21:48:04 +0200 Subject: [PATCH] Fixed release script. --- .woodpecker/mk_release | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release index 0b64102..0e8f641 100755 --- a/.woodpecker/mk_release +++ b/.woodpecker/mk_release @@ -93,11 +93,11 @@ build_and_install_manuals() else echo " * Quick and Dirty Mode (running on CI)" mkdir -p $ISADOF_WORK_DIR/Isabelle_DOF-Example-I/output/ - cp $ARTIFACT_DIR/browser_info/Unsorted/Isabelle_DOF-Example-I/document.pdf \ + cp $ARTIFACT_DIR/browser_info/AFP/Isabelle_DOF-Example-I/document.pdf \ $ISADOF_WORK_DIR/Isabelle_DOF-Example-I/output/ mkdir -p $ISADOF_WORK_DIR/Isabelle_DOF/output/ - cp $ARTIFACT_DIR/browser_info/Unsorted/Isabelle_DOF/document.pdf \ + cp $ARTIFACT_DIR/browser_info/AFP/Isabelle_DOF/document.pdf \ $ISADOF_WORK_DIR/Isabelle_DOF/output/; fi else