From 1939ffeea4af5f38333d03a23e1e855baf655037 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 29 Jun 2022 23:33:29 +0100 Subject: [PATCH] Added missing line break declaration. --- .woodpecker/mk_release | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release index 23b5d69..65b4f73 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/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/ - cp $ARTIFACT_DIR/browser_info/Unsorted/2018-cicm-isabelle_dof-applications/document.pdf + cp $ARTIFACT_DIR/browser_info/Unsorted/2018-cicm-isabelle_dof-applications/document.pdf \ $ISADOF_WORK_DIR/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/ mkdir -p $ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/ - cp $ARTIFACT_DIR/browser_info/Unsorted/Isabelle_DOF-Manual/document.pdf + cp $ARTIFACT_DIR/browser_info/Unsorted/Isabelle_DOF-Manual/document.pdf \ $ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/; fi else