# HG changeset patch
# User wenzelm
# Date 1168003807 -3600
# Node ID a3519c0c2d8fc029fd05fad6dab3974eb3529d0b
# Parent  adf68479ae1b86b5396452c6a91ebba79cd6dda5
RAW-ProofGeneral: more dependencies;

diff -r adf68479ae1b -r a3519c0c2d8f src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Fri Jan 05 13:36:32 2007 +0100
+++ b/src/Pure/IsaMakefile	Fri Jan 05 14:30:07 2007 +0100
@@ -84,7 +84,12 @@
 
 RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz
 
-$(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML
+$(LOG)/RAW-ProofGeneral.gz: $(OUT)/RAW ProofGeneral/pgip_standalone.ML		\
+  ProofGeneral/parsing.ML ProofGeneral/pgip_input.ML				\
+  ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML                     \
+  ProofGeneral/pgip.ML ProofGeneral/pgip_output.ML ProofGeneral/pgip_tests.ML	\
+  ProofGeneral/pgip_types.ML ProofGeneral/preferences.ML			\
+  ProofGeneral/proof_general_pgip.ML ProofGeneral/proof_general_emacs.ML
 	@./mk -R ProofGeneral/pgip_standalone.ML