# HG changeset patch
# User aspinall
# Date 1165323444 -3600
# Node ID 257850c4a3eaeb8b1c668539b30c545686f3f967
# Parent  40e6fdd26f82fba1e28381907194a5466fb6a7ad
Add dependency for new Emacs PG code

diff -r 40e6fdd26f82 -r 257850c4a3ea src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Tue Dec 05 13:56:43 2006 +0100
+++ b/src/Pure/IsaMakefile	Tue Dec 05 13:57:24 2006 +0100
@@ -53,7 +53,7 @@
   ProofGeneral/pgip.ML ProofGeneral/pgip_output.ML                              \
   ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML                         \
   ProofGeneral/preferences.ML ProofGeneral/proof_general_pgip.ML                \
-  ProofGeneral/ROOT.ML                                                          \
+  ProofGeneral/proof_general_emacs.ML ProofGeneral/ROOT.ML                      \
   Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML Syntax/mixfix.ML		\
   Syntax/parser.ML Syntax/printer.ML Syntax/syn_ext.ML				\
   Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML		\