diff -r 293e8ec4dfc8 -r d703e3aafa8c src/Pure/ROOT
--- a/src/Pure/ROOT	Wed Jan 02 16:48:22 2013 +0100
+++ b/src/Pure/ROOT	Wed Jan 02 17:58:53 2013 +0100
@@ -181,7 +181,6 @@
     "Syntax/syntax_phases.ML"
     "Syntax/syntax_trans.ML"
     "Syntax/term_position.ML"
-    "System/build.ML"
     "System/command_line.ML"
     "System/invoke_scala.ML"
     "System/isabelle_process.ML"
@@ -201,6 +200,7 @@
     "Thy/thy_load.ML"
     "Thy/thy_output.ML"
     "Thy/thy_syntax.ML"
+    "Tools/build.ML"
     "Tools/named_thms.ML"
     "Tools/legacy_xml_syntax.ML"
     "assumption.ML"