src/Pure/IsaMakefile
changeset 22013 a3519c0c2d8f
parent 21995 89d58ed34299
child 22023 487b79b95a20
--- 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