--- a/src/Pure/IsaMakefile Mon Nov 28 20:39:08 2011 +0100
+++ b/src/Pure/IsaMakefile Mon Nov 28 22:05:32 2011 +0100
@@ -80,6 +80,7 @@
General/graph.ML \
General/heap.ML \
General/integer.ML \
+ General/isabelle_markup.ML \
General/linear_set.ML \
General/long_name.ML \
General/markup.ML \