target 'generate';
authorwenzelm
Sat May 29 15:10:30 2004 +0200 (2004-05-29)
changeset 148423a1fe2c524d0
parent 14841 37fc364a60c3
child 14843 72607f591d24
target 'generate';
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Sat May 29 15:09:47 2004 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sat May 29 15:10:30 2004 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  ## targets
     1.5  
     1.6  default: HOL
     1.7 +generate: HOL-Complex-Generate-HOL
     1.8  images: HOL HOL-Algebra HOL-Complex TLA HOL4
     1.9  
    1.10  #Note: keep targets sorted (except for HOL-Library)