--- 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