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