Make HTML pretty-printing prettier

[hcoop/domtool2.git] / Makefile

diff --git a/Makefile b/Makefile
index f3161d4..b812465 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,10 @@
 all: mlton
 
 COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
-       openssl/openssl_sml.so
+       openssl/openssl_sml.so config.sml
+
+config.sml:
+       echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@
 
 .PHONY: all mlton smlnj install
 
@@ -160,7 +163,17 @@ install:
        cp src/plugins/domtool-postgres /usr/local/sbin/
        cp src/plugins/domtool-mysql /usr/local/sbin/
 
-.PHONY: grab_lib
+.PHONY: grab_lib install_server install_slave
 
 grab_lib:
-       rsync --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/
+       rsync -r --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/
+
+install_server:
+       sudo /etc/init.d/domtool-server stop
+       sudo make install
+       sudo /etc/init.d/domtool-server start
+
+install_slave:
+       sudo /etc/init.d/domtool-slave stop
+       sudo make install
+       sudo /etc/init.d/domtool-slave start