+ rm -rf $(TARGETS) dist
+
+Implanted.hs: dist/MiseRafturai.hs
+dist/MiseRafturai.hs: mise-rafturai.html $(IMPLANT)
+ mkdir -p dist
+ $(IMPLANT) -m MiseRafturai -o $@ $<
+
+ImplantedSmall.hs: dist/SmallFile.hs
+dist/SmallFile.hs: small-file.txt $(IMPLANT)
+ mkdir -p dist
+ $(IMPLANT) -m SmallFile -t "text/plain; charset=\"UTF-8\"" -o $@ $<