Better name-rewriting engine

[Lucu.git] / examples / Makefile

diff --git a/examples/Makefile b/examples/Makefile
index 0902512ce6eba5e77918566db661895ee728266a..37c59cb9ab74d6169cb31ac88dfd7e946ed29006 100644 (file)
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -27,6 +27,6 @@ dist/MiseRafturai.hs: mise-rafturai.html $(IMPLANT)
 ImplantedSmall.hs: dist/SmallFile.hs
 dist/SmallFile.hs: small-file.txt $(IMPLANT)
        mkdir -p dist
-       $(IMPLANT) -m SmallFile -o $@ $<
+       $(IMPLANT) -m SmallFile -t "text/plain; charset=\"UTF-8\"" -o $@ $<
 
 .PHONY: build run clean