Some scripts for reseting domtool state
[hcoop/domtool2.git] / Makefile
index 036f5fa..b81232c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -85,6 +85,8 @@ bin/domtool-slave: $(COMMON_MLTON_DEPS) src/domtool-slave.mlb
 
 install:
        cp scripts/domtool-publish /usr/local/sbin/
 
 install:
        cp scripts/domtool-publish /usr/local/sbin/
+       cp scripts/domtool-reset-global /usr/local/sbin/
+       cp scripts/domtool-reset-local /usr/local/sbin/
        cp openssl/openssl_sml.so /usr/local/lib/
        cp bin/domtool-server /usr/local/sbin/
        cp bin/domtool-slave /usr/local/sbin/
        cp openssl/openssl_sml.so /usr/local/lib/
        cp bin/domtool-server /usr/local/sbin/
        cp bin/domtool-slave /usr/local/sbin/