diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release
index 23b5d691..65b4f733 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