MkdirTarget($(DESTDIR)/examples)
MkdirTarget($(DESTDIR)/examples/pickle)

InstallRO(Test1.isl server.c pyClient.py pyServer.py JaServ.java README, $(DESTDIR)/examples/pickle)
InstallFileToFile(runImakefile, $(INSTINCFLAGS), $(DESTDIR)/examples/pickle/Imakefile)


