# HG changeset patch
# User wenzelm
# Date 1184015549 -7200
# Node ID 5d3c022cbf976118ff72001e45bdf90db32cf56c
# Parent  8b5a2a79a6e38b044825d66f5da5a32e07d8652d
removed target RAW-ProofGeneral (impractical to maintain);

diff -r 8b5a2a79a6e3 -r 5d3c022cbf97 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Mon Jul 09 22:40:57 2007 +0200
+++ b/src/Pure/IsaMakefile	Mon Jul 09 23:12:29 2007 +0200
@@ -8,7 +8,7 @@
 
 default: Pure
 images: Pure
-test: RAW RAW-ProofGeneral
+test: RAW
 all: images test
 
 
@@ -82,19 +82,8 @@
   ML-Systems/smlnj.ML
 	@./mk -r
 
-RAW-ProofGeneral: RAW $(LOG)/RAW-ProofGeneral.gz
-
-$(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
-
 
 ## clean
 
 clean:
-	@rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz \
-	$(LOG)/RAW-ProofGeneral.gz
+	@rm -f $(OUT)/Pure$(ML_SUFFIX) $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz