src/Pure/IsaMakefile

--- a/src/Pure/IsaMakefile	Thu Aug 19 12:41:40 2010 +0200
+++ b/src/Pure/IsaMakefile	Thu Aug 19 12:51:48 2010 +0200
@@ -157,6 +157,7 @@
   ML/ml_syntax.ML					\
   ML/ml_thms.ML						\
   PIDE/document.ML					\
+  PIDE/isar_document.ML					\
   Proof/extraction.ML					\
   Proof/proof_rewrite_rules.ML				\
   Proof/proof_syntax.ML					\
@@ -188,7 +189,6 @@
   Syntax/type_ext.ML					\
   System/isabelle_process.ML				\
   System/isar.ML					\
-  System/isar_document.ML				\
   System/session.ML					\
   Thy/html.ML						\
   Thy/latex.ML						\