--- a/src/Pure/build-jars Sun Jun 23 18:11:38 2013 +0200
+++ b/src/Pure/build-jars Sun Jun 23 20:12:01 2013 +0200
@@ -41,6 +41,7 @@
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