# HG changeset patch
# User wenzelm
# Date 1594409421 -7200
# Node ID 751f371d6883a922e45204bf75e5bb2f82701e69
# Parent  11c46b8e91c0d2b0d939773b9863a1f5d217ef20
more robust, notably for isabelle_cronjob;

diff -r 11c46b8e91c0 -r 751f371d6883 src/Doc/ROOT
--- a/src/Doc/ROOT	Fri Jul 10 21:23:01 2020 +0200
+++ b/src/Doc/ROOT	Fri Jul 10 21:30:21 2020 +0200
@@ -378,7 +378,7 @@
     "root.tex"
 
 session System (doc) in "System" = Pure +
-  options [document_variants = "system", thy_output_source]
+  options [document_variants = "system", thy_output_source, pide_session]
   sessions
     "HOL-Library"
   theories