src/Pure/Tools/doc.scala

       } yield entry
 
     examples() ::: release_notes() ::: main_contents
   }
 
+  def doc_names(): List[String] =
+    for (Doc(name, _, _) <- contents()) yield name
+
 
   /* view */
 
   def view(path: Path)
   {