--- a/src/Doc/System/Environment.thy Wed May 19 11:54:58 2021 +0200
+++ b/src/Doc/System/Environment.thy Wed May 19 13:00:42 2021 +0200
@@ -181,9 +181,10 @@
\<^descr>[@{setting_def ISABELLE_LINE_EDITOR}] specifies the line editor for the
@{tool_ref console} interface.
- \<^descr>[@{setting_def ISABELLE_PDFLATEX}, @{setting_def ISABELLE_BIBTEX}] refer to
- {\LaTeX} related tools for Isabelle document preparation (see also
- \secref{sec:tool-latex}).
+ \<^descr>[@{setting_def ISABELLE_PDFLATEX}, @{setting_def ISABELLE_LUALATEX},
+ @{setting_def ISABELLE_BIBTEX}, @{setting_def ISABELLE_MAKEINDEX}] refer to
+ {\LaTeX}-related tools for Isabelle document preparation (see also
+ \secref{sec:tool-document}).
\<^descr>[@{setting_def ISABELLE_TOOLS}] is a colon separated list of directories
that are scanned by @{executable isabelle} for external utility programs