src/Pure/build-jars

   PIDE/text.scala
   PIDE/xml.scala
   PIDE/yxml.scala
   System/color_value.scala
   System/command_line.scala
-  System/doc.scala
   System/event_bus.scala
   System/gui.scala
   System/gui_setup.scala
   System/html5_panel.scala
   System/interrupt.scala

   Thy/thy_info.scala
   Thy/thy_load.scala
   Thy/thy_syntax.scala
   Tools/build.scala
   Tools/build_dialog.scala
+  Tools/doc.scala
   Tools/keywords.scala
   Tools/main.scala
   Tools/ml_statistics.scala
   Tools/task_statistics.scala
   library.scala