diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release
index 078106f6..ff366c38 100755
--- a/.woodpecker/mk_release
+++ b/.woodpecker/mk_release
@@ -80,7 +80,6 @@ build_and_install_manuals()
 {
     echo "* Building manual"
 
-    (cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp)
     if [ "$DIRTY" = "true" ]; then
         $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/
@@ -90,6 +89,7 @@ build_and_install_manuals()
         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 env ./install-afp)
         (cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
     fi
     mkdir -p $ISADOF_WORK_DIR/doc