# HG changeset patch
# User wenzelm
# Date 965380979 -7200
# Node ID 73f1c668536794dd1ac324e706a3c8919f0448b1
# Parent  fdc3b5bcd79d120d3bc4de7f62415bd6665d595e
targets for images, test, all;

diff -r fdc3b5bcd79d -r 73f1c6685367 doc-src/Tutorial/IsaMakefile
--- a/doc-src/Tutorial/IsaMakefile	Fri Aug 04 10:59:28 2000 +0200
+++ b/doc-src/Tutorial/IsaMakefile	Fri Aug 04 11:22:59 2000 +0200
@@ -5,6 +5,9 @@
 ## targets
 
 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Datatype HOL-Recdef HOL-Misc
+images:
+test:
+all: default
 
 
 ## global settings
diff -r fdc3b5bcd79d -r 73f1c6685367 doc-src/TutorialI/IsaMakefile
--- a/doc-src/TutorialI/IsaMakefile	Fri Aug 04 10:59:28 2000 +0200
+++ b/doc-src/TutorialI/IsaMakefile	Fri Aug 04 11:22:59 2000 +0200
@@ -5,6 +5,9 @@
 ## targets
 
 default: HOL-ToyList HOL-Ifexpr HOL-CodeGen HOL-Trie HOL-Datatype HOL-Recdef HOL-Misc styles
+images:
+test:
+all: default
 
 
 ## global settings