From d3f41dca9e86ae48414eb85449745ef8abed451b Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 29 Jun 2022 15:59:02 +0100 Subject: [PATCH] In quick and dirty mode, do not require a clean build. --- .woodpecker/mk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release index ff366c3..0ce1f8a 100755 --- a/.woodpecker/mk_release +++ b/.woodpecker/mk_release @@ -81,7 +81,7 @@ build_and_install_manuals() echo "* Building manual" if [ "$DIRTY" = "true" ]; then - $ISABELLE build -c -d . Isabelle_DOF-Manual 2018-cicm-isabelle_dof-applications + $ISABELLE build -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/