# HG changeset patch
# User wenzelm
# Date 1664278494 -7200
# Node ID f2094906e4916b460cded1a5a7938d24ff6327a1
# Parent  2802f6a4dd8bc5a847a5e69ac622553bfb1d0d4f
clarified options;

diff -r 2802f6a4dd8b -r f2094906e491 etc/options
--- a/etc/options	Mon Sep 26 20:40:37 2022 +0200
+++ b/etc/options	Tue Sep 27 13:34:54 2022 +0200
@@ -19,7 +19,7 @@
   -- "explicitly enable use of bibtex (default: according to presence of root.bib)"
 option document_build : string = "lualatex" (standard "build")
   -- "document build engine (e.g. build, lualatex, pdflatex)"
-option document_logo : string = ""
+option document_logo : string = "" (standard "_")
   -- "generate named instance of Isabelle logo (underscore means unnamed variant)"
 option document_heading_prefix : string = "isamarkup" (standard)
   -- "prefix for LaTeX macros generated from 'chapter', 'section' etc."
diff -r 2802f6a4dd8b -r f2094906e491 src/Doc/ROOT
--- 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"