src/HOL/IsaMakefile
changeset 27694 31a8e0908b9f
parent 27679 6392b92c3536
child 27697 bcf941cc3324
     1.1 --- a/src/HOL/IsaMakefile	Tue Jul 29 13:16:54 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 29 14:07:23 2008 +0200
     1.3 @@ -69,6 +69,8 @@
     1.4  Pure:
     1.5  	@cd $(SRC)/Pure; $(ISATOOL) make Pure
     1.6  
     1.7 +$(OUT)/Pure: Pure
     1.8 +
     1.9  $(OUT)/HOL-Plain: $(OUT)/Pure \
    1.10    plain.ML \
    1.11    Code_Setup.thy \