# HG changeset patch
# User wenzelm
# Date 1605701641 -3600
# Node ID fd6dc1a4b9ca03de0298b48ffc51ca8712d5145a
# Parent  054d8b212f9418b78a2b8da9c1c7770ff8a34a02
more robust, e.g. for "isabelle build_doc system";

diff -r 054d8b212f94 -r fd6dc1a4b9ca src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Wed Nov 18 08:10:40 2020 +0100
+++ b/src/Pure/Thy/sessions.scala	Wed Nov 18 13:14:01 2020 +0100
@@ -254,7 +254,11 @@
               info.document_theories.flatMap(
               {
                 case (thy, pos) =>
-                  val parent_sessions = sessions_structure.build_requirements(List(session_name))
+                  val parent_sessions =
+                    if (sessions_structure.build_graph.defined(session_name)) {
+                      sessions_structure.build_requirements(List(session_name))
+                    }
+                    else Nil
 
                   def err(msg: String): Option[String] =
                     Some(msg + " " + quote(thy) + Position.here(pos))