From 15fb6fdc2d0e6341515a64526d23af5dbdc50228 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 26 Jun 2022 16:00:06 +0100
Subject: [PATCH] Added quick-and-dirty mode.

---
 .woodpecker/mk_release | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release
index 2ab990c..89aa140 100755
--- a/.woodpecker/mk_release
+++ b/.woodpecker/mk_release
@@ -46,7 +46,9 @@ print_help()
     echo "  --tag tag, -t tag         use tag for release archive"
     echo "                            (default: use master branch)"
     echo "  --publish, -p             publish generated artefact"
-    echo "                            (use master: $PUBLISH)"
+    echo "                            (default: $PUBLISH)"
+    echo "  --quick-and-dirty, -d     only build required artifacts, no complete test"
+    echo "                            (default: $DIRTY)"
 }
 
 check_isabelle_version() {
@@ -79,8 +81,11 @@ build_and_install_manuals()
     echo "* Building manual"
 
     (cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp)
-    (cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
-
+    if [ "$DIRTY" = "true" ]; then
+        (cd $ISADOF_WORK_DIR && $ISABELLE build -c -d . Isabelle_DOF-Manual 2018-cicm-isabelle_dof-applications)
+    else
+        (cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
+    fi
     mkdir -p $ISADOF_WORK_DIR/doc
     echo "Isabelle/DOF Manuals!" > $ISADOF_WORK_DIR/doc/Contents
     
@@ -125,6 +130,7 @@ ISABELLE=`which isabelle`
 USE_TAG="false"
 SIGN="false"
 PUBLISH="false"
+DIRTY="false"
 BUILD_DIR=`mktemp -d`
 ISADOF_WORK_DIR="$BUILD_DIR/Isabelle_DOF"
 while [ $# -gt 0 ]
@@ -141,6 +147,8 @@ do
             SIGN="true";;
         --publish|-p)
             PUBLISH="true";;
+        --quick-and-dirty|-d)
+            DIRTY="true";;
         --help|-h)
             print_help
             exit 0;;