--- a/src/Tools/WWW_Find/IsaMakefile Wed Dec 14 10:18:28 2011 +0100 +++ b/src/Tools/WWW_Find/IsaMakefile Wed Dec 14 12:02:02 2011 +0100 @@ -9,6 +9,7 @@ images: test: Pure-WWW_Find all: images test +full: all smlnj: all