# HG changeset patch
# User wenzelm
# Date 1191701235 -7200
# Node ID 81147215a12c79c36a8e2e528199ee1d08c5253c
# Parent  81ed46bc04203f3ec327cff88e3728ec3291a3d0
removed duplicate target;

diff -r 81ed46bc0420 -r 81147215a12c src/Cube/IsaMakefile
--- a/src/Cube/IsaMakefile	Sat Oct 06 22:06:11 2007 +0200
+++ b/src/Cube/IsaMakefile	Sat Oct 06 22:07:15 2007 +0200
@@ -26,8 +26,6 @@
 Pure:
 	@cd $(SRC)/Pure; $(ISATOOL) make Pure
 
-Pure-Cube: Pure $(LOG)/Pure-Cube.gz
-
 $(LOG)/Pure-Cube.gz: $(OUT)/Pure Cube.thy Example.thy ROOT.ML
 	@cd ..; $(ISATOOL) usedir $(OUT)/Pure Cube