From 38f6516ad947e3a4b82309cc3137a9ff0552cab3 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 29 Jun 2022 13:37:35 +0100 Subject: [PATCH] Optimised quick&dirty setup. --- .woodpecker/mk_release | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release index 89aa140a..910b0c94 100755 --- a/.woodpecker/mk_release +++ b/.woodpecker/mk_release @@ -82,7 +82,13 @@ build_and_install_manuals() (cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp) if [ "$DIRTY" = "true" ]; then - (cd $ISADOF_WORK_DIR && $ISABELLE build -c -d . Isabelle_DOF-Manual 2018-cicm-isabelle_dof-applications) + $ISABELLE build -c -d . Isabelle_DOF-Manual 2018-cicm-isabelle_dof-applications + mkdir -p $ISADOF_WORK_DIR/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/ + cp examples/scholarly_paper/2018-cicm-isabelle_dof-applications/output/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 examples/technical_report/Isabelle_DOF-Manual/output/document.pdf \ + $ISADOF_WORK_DIR/examples/technical_report/Isabelle_DOF-Manual/output/ else (cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . ) fi