# HG changeset patch
# User wenzelm
# Date 1226781075 -3600
# Node ID a0dd52dd7b55d2ba35d92eb2da1e602771fbb6ca
# Parent  9dcd32ee5dbe6fb4afb7b5c71600103b65f41723
clean: added HOL-Main;

diff -r 9dcd32ee5dbe -r a0dd52dd7b55 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sat Nov 15 21:31:13 2008 +0100
+++ b/src/HOL/IsaMakefile	Sat Nov 15 21:31:15 2008 +0100
@@ -1016,7 +1016,7 @@
 ## clean
 
 clean:
-	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
+	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL-Main $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
 		$(LOG)/HOL.gz $(LOG)/TLA.gz \
 		$(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \
 		$(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \