diff -r ae3caeb19589 -r 52edf5ac3afa build
--- a/build	Thu Jan 15 14:16:46 1998 +0100
+++ b/build	Mon Jan 19 16:25:36 1998 +0100
@@ -150,7 +150,7 @@
 
 for L in $MAKE_LOGICS
 do
-  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make $TEST )
+  ( cd $ISABELLE_HOME/src/$L; $ISATOOL make images $TEST )
 done
 
 echo -n "Finished at "; date