X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6e62228d09c5067f798b356b88b0c53190f75729..722e651bc5a02c3d2a68b3bf61cfd61351e1b196:/Makefile

diff --git a/Makefile b/Makefile
index f32d0b0..dbc2c88 100644
--- a/Makefile
+++ b/Makefile
@@ -85,7 +85,8 @@ bin/domtool-client: openssl/mlton/FFI/libssl.h.mlb \
 bin/domtool-slave: openssl/mlton/FFI/libssl.h.mlb \
 		src/domtool-slave.mlb src/domtool.lex.sml \
 		src/domtool.grm.sig src/domtool.grm.sml \
-		$(COMMON_DEPS) src/*.sig src/*.sml
+		$(COMMON_DEPS) src/*.sig src/*.sml \
+		src/plugins/*.sig src/plugins/*.sml
 	mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
 
 install: