--- a/src/Doc/Sledgehammer/document/build Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/Sledgehammer/document/build Tue May 18 15:17:55 2021 +0200
@@ -5,5 +5,4 @@
FORMAT="$1"
VARIANT="$2"
-isabelle logo -o isabelle_sledgehammer.pdf "S/H"
"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"