# HG changeset patch
# User wenzelm
# Date 1085836230 -7200
# Node ID 3a1fe2c524d0b12ca593d02583db42400c1eeeaf
# Parent  37fc364a60c36ae9e4cf572e73ff44ad2478f5c4
target 'generate';

diff -r 37fc364a60c3 -r 3a1fe2c524d0 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sat May 29 15:09:47 2004 +0200
+++ b/src/HOL/IsaMakefile	Sat May 29 15:10:30 2004 +0200
@@ -7,6 +7,7 @@
 ## targets
 
 default: HOL
+generate: HOL-Complex-Generate-HOL
 images: HOL HOL-Algebra HOL-Complex TLA HOL4
 
 #Note: keep targets sorted (except for HOL-Library)