--- a/src/Doc/ROOT Mon Sep 26 20:40:37 2022 +0200
+++ b/src/Doc/ROOT Tue Sep 27 13:34:54 2022 +0200
@@ -121,7 +121,7 @@
"prelude.tex"
session Intro (doc) in "Intro" = Pure +
- options [document_logo = "_", document_bibliography, document_build = "build",
+ options [document_logo, document_bibliography, document_build = "build",
document_variants = "intro"]
document_files (in "..")
"pdfsetup.sty"
@@ -258,7 +258,7 @@
"root.tex"
session Logics (doc) in "Logics" = Pure +
- options [document_logo = "_", document_bibliography, document_build = "build",
+ options [document_logo, document_bibliography, document_build = "build",
document_variants = "logics"]
document_files (in "..")
"pdfsetup.sty"
@@ -352,7 +352,7 @@
"root.tex"
session System (doc) in "System" = Pure +
- options [document_logo = "_", document_bibliography, document_variants = "system",
+ options [document_logo, document_bibliography, document_variants = "system",
thy_output_source]
sessions
"HOL-Library"