--- 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