src/HOL/IsaMakefile
changeset 28798 a0dd52dd7b55
parent 28742 07073b1087dd
child 28825 415c7ffeb4cb
--- 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 \