src/HOL/IsaMakefile
changeset 28798 a0dd52dd7b55
parent 28742 07073b1087dd
child 28825 415c7ffeb4cb
     1.1 --- a/src/HOL/IsaMakefile	Sat Nov 15 21:31:13 2008 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Sat Nov 15 21:31:15 2008 +0100
     1.3 @@ -1016,7 +1016,7 @@
     1.4  ## clean
     1.5  
     1.6  clean:
     1.7 -	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
     1.8 +	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL-Main $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
     1.9  		$(LOG)/HOL.gz $(LOG)/TLA.gz \
    1.10  		$(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \
    1.11  		$(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \