+# Build the Java applets. This requires .bob.conf on the master
+# build machine to have defined the variable NESTEDVM pointing at
+# the top-level directory of an installation of the NestedVM
+# compiler and tools.
+in puzzles do make -f Makefile.nestedvm NESTEDVM=$(NESTEDVM) VER=-DREVISION=$(revision)
+