X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0d437aa61b8c95c6f29605e046ea3e49a37ca29f..254d5faaae330b43f04ad7f39fb4340457d78776:/Makefile

diff --git a/Makefile b/Makefile
index f9ebab0..2d798cb 100644
--- a/Makefile
+++ b/Makefile
@@ -32,7 +32,7 @@ config.sml:
 mlton: bin/domtool-server bin/domtool-client bin/domtool-slave \
 	bin/domtool-admin bin/domtool-doc bin/dbtool bin/vmail \
 	bin/smtplog bin/setsa bin/mysql-fixperms bin/webbw bin/domtool-tail \
-	bin/fwtool
+	bin/fwtool bin/domtool-config
 
 smlnj: $(COMMON_DEPS) openssl/smlnj/FFI/libssl.h.cm pcre/smlnj/FFI/libpcre.h.cm \
 	src/domtool.cm