clean: added HOL-Main;
authorwenzelm
Sat Nov 15 21:31:15 2008 +0100 (2008-11-15)
changeset 28798a0dd52dd7b55
parent 28797 9dcd32ee5dbe
child 28799 ee65e7d043fc
clean: added HOL-Main;
src/HOL/IsaMakefile
     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 \