--- a/src/Doc/Codegen/document/build	Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/Codegen/document/build	Tue May 18 15:17:55 2021 +0200
@@ -8,7 +8,6 @@
 # ad-hoc patching of temporary path from sources
 perl -i -pe 's/\{\\isachardollar\}ISABELLE\{\\isacharunderscore\}TMP\{\\isacharslash\}examples/examples/g' *.tex
 
-isabelle logo Isar
 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
 
 # clean up afterwards