proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
chapter Doc (*Isabelle documentation*)
session Demo_LIPIcs (doc) = HOL +
options [
document_variants = "demo_lipics", (*Isabelle documentation*)
document_build = "lipics_pdflatex" (*or: "lipics" for LuaLaTeX*)
]
theories
Document
document_files
"root.bib"
"root.tex"