X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1d3ef80ec822ea0fa241eb5485549ca7417e787f..9ffe2f0fea48f1e2fa6a30b6a79b975b4a6f7671:/Makefile

diff --git a/Makefile b/Makefile
index 17f3c0d..42d1ccd 100644
--- a/Makefile
+++ b/Makefile
@@ -89,7 +89,8 @@ COMMON_MLTON_DEPS := openssl/mlton/FFI/libssl.h.mlb \
 	src/domtool.lex.sml \
 	src/domtool.grm.sig src/domtool.grm.sml \
 	$(COMMON_DEPS) src/*.sig src/*.sml \
-	src/plugins/*.sig src/plugins/*.sml
+	src/plugins/*.sig src/plugins/*.sml \
+	src/mail/*.sig src/mail/*.sml
 
 bin/domtool-server: $(COMMON_MLTON_DEPS) src/domtool-server.mlb 
 	mlton -output bin/domtool-server -link-opt -ldl src/domtool-server.mlb