# HG changeset patch
# User krauss
# Date 1301429213 -7200
# Node ID 99e359a9db27e97751950c027c26045a40e712c3
# Parent  4da4fc77664bf9e5b785a7d933d1b482ce66ea30
added missing smlnj target

diff -r 4da4fc77664b -r 99e359a9db27 src/Tools/WWW_Find/IsaMakefile
--- a/src/Tools/WWW_Find/IsaMakefile	Tue Mar 29 17:47:11 2011 +0200
+++ b/src/Tools/WWW_Find/IsaMakefile	Tue Mar 29 22:06:53 2011 +0200
@@ -9,6 +9,7 @@
 images:
 test: Pure-WWW_Find
 all: images test
+smlnj: all
 
 
 ## global settings