--- a/src/Pure/IsaMakefile	Sat Jul 21 12:57:31 2012 +0200
+++ b/src/Pure/IsaMakefile	Sat Jul 21 16:41:55 2012 +0200
@@ -189,6 +189,7 @@
   Syntax/syntax_trans.ML				\
   Syntax/term_position.ML				\
   System/invoke_scala.ML				\
+  System/build.ML					\
   System/isabelle_process.ML				\
   System/isabelle_system.ML				\
   System/isar.ML					\
changeset 48418	1a634f9614fb
parent 47980	c81801f881b3
child 48456	d8ff14f44a40