diff -r aa3b47b32100 -r 4854a38061de src/Pure/Tools/build_doc.scala
--- a/src/Pure/Tools/build_doc.scala	Wed Mar 16 11:45:25 2016 +0100
+++ b/src/Pure/Tools/build_doc.scala	Wed Mar 16 13:47:00 2016 +0100
@@ -24,7 +24,7 @@
   {
     val selection =
       for {
-        (name, info) <- Sessions.find(options).topological_order
+        (name, info) <- Sessions.load(options).topological_order
         if info.groups.contains("doc")
         doc = info.options.string("document_variants")
         if all_docs || docs.contains(doc)