--- a/src/Doc/Logics_ZF/document/build Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/Logics_ZF/document/build Tue May 18 15:17:55 2021 +0200
@@ -5,6 +5,5 @@
FORMAT="$1"
VARIANT="$2"
-isabelle logo ZF
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"