MkdirTarget($(DESTDIR)/examples)
MkdirTarget($(DESTDIR)/examples/test1)

InstallFiles(Test1.isl Test2.isl Test3.isl clnt.c srvr.c, -m 444, $(DESTDIR)/examples/test1)
InstallFiles(README, -m 444, $(DESTDIR)/examples/test1)
InstallFileToFile(runImakefile, -m 444, $(DESTDIR)/examples/test1/Imakefile)


