proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
chapter Doc (*Isabelle documentation*)
session Demo_Easychair (doc) = HOL +
options [document_variants = "demo_easychair"] (*Isabelle documentation*)
theories
Document
document_files (in "$ISABELLE_EASYCHAIR_HOME")
"easychair.cls"
document_files
"root.bib"
"root.tex"