--- a/src/Doc/Tutorial/document/build Mon May 17 23:38:16 2021 +0200
+++ b/src/Doc/Tutorial/document/build Tue May 18 15:17:55 2021 +0200
@@ -5,7 +5,6 @@
FORMAT="$1"
VARIANT="$2"
-isabelle logo HOL
isabelle latex -o "$FORMAT"
isabelle latex -o bbl
./isa-index root