diff -r 6a2808a48c51 -r 3e20da339306 lib/Tools/caddy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/Tools/caddy	Wed May 07 21:52:22 2025 +0200
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+#
+# Author: Makarius
+#
+# DESCRIPTION: invoke caddy within the Isabelle environment
+
+if [ -z "$ISABELLE_CADDY" ]; then
+  echo "Missing Caddy installation: need to run \"isabelle caddy_setup\" first" >&2
+  exit 2
+else
+  exec "$ISABELLE_CADDY" "$@"
+fi